aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md7
1 files changed, 3 insertions, 4 deletions
diff --git a/README.md b/README.md
index 489d72e..6cc51e5 100644
--- a/README.md
+++ b/README.md
@@ -40,9 +40,8 @@ Booting Linux with the OCaml backend:
The OCaml model only needs the ELF-version of the BBL, since it can generate its
own DTB.
-
+```
$ ./platform bbl > execution-trace.log 2> console.log
-
- Some
-information on additional configuration options is available from
+```
+Some information on additional configuration options is available from
```./platform -h```.