diff options
Diffstat (limited to 'os-boot/README.md')
-rw-r--r-- | os-boot/README.md | 4 |
1 files changed, 2 insertions, 2 deletions
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 ``` |