diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 10:36:16 -0800 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 10:36:16 -0800 |
commit | c6c9f7c9377d7ec111d4fac4869432454a1f1995 (patch) | |
tree | 457bfc68c1c7aa0f49363458d8f844ec16924726 /os-boot | |
parent | e1161737970dace76354c5d83e43947e714dbf34 (diff) | |
download | sail-riscv-c6c9f7c9377d7ec111d4fac4869432454a1f1995.zip sail-riscv-c6c9f7c9377d7ec111d4fac4869432454a1f1995.tar.gz sail-riscv-c6c9f7c9377d7ec111d4fac4869432454a1f1995.tar.bz2 |
Minor doc edits.
Diffstat (limited to 'os-boot')
-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 ``` |