diff options
-rw-r--r-- | README.md | 3 | ||||
-rw-r--r-- | os-boot/README.md | 4 |
2 files changed, 4 insertions, 3 deletions
@@ -110,4 +110,5 @@ Some useful options are: configuring whether misaligned accesses trap whether page-table walks update PTE bits (--enable-dirty-update for C and -enable-dirty-update for OCaml). -For booting operating system images, see the information under `os-boot`. +For booting operating system images, see the information under the +[os-boot/](os-boot/) subdirectory. diff --git a/os-boot/README.md b/os-boot/README.md index 72b84af..bcb220b 100644 --- a/os-boot/README.md +++ b/os-boot/README.md @@ -81,10 +81,10 @@ tail -f /tmp/console.log The 64-bit seL4 image runs its test-suite, which can take a very long time in a simulator: ``` -./c_emulator/riscv_sim_RV64 -d -b os-boot/rv64-64mb.dtb -t /tmp/console.log os-boot/sel4-rv64.bbl > /tmp/exec-trace.log 2>&1 & +./c_emulator/riscv_sim_RV64 -b os-boot/rv64-64mb.dtb -t /tmp/console.log os-boot/sel4-rv64.bbl > >(gzip -c - > /tmp/exec-trace.log.gz) 2>&1 ``` The 64-bit FreeBSD image requires hardware PTE update support (`-d`): ``` -./c_emulator/riscv_sim_RV64 -d -b os-boot/rv64-64mb.dtb -t /tmp/console.log os-boot/freebsd-rv64.bbl > /tmp/exec-trace.log 2>&1 +./c_emulator/riscv_sim_RV64 -d -b os-boot/rv64-64mb.dtb -t /tmp/console.log os-boot/freebsd-rv64.bbl > >(gzip -c - > /tmp/exec-trace.log.gz) 2>&1 ``` |