Fix risc-v-kernel-module tutorial and example code (#72)

Co-authored-by: Rowan Hart <[email protected]>
intel · Apr 23, 2024 · 50f06dd · 50f06dd
1 parent 980ab17
commit 50f06dd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/src/tutorials/kernel-module/running-the-fuzzer.md b/docs/src/tutorials/kernel-module/running-the-fuzzer.md
@@ -18,7 +18,7 @@ The build script for our application created a `project` directory for us if it
 exist, so we'll instantiate that directory as our project with `ispm`:
 
 ```sh
-ispm projects project --create 1000-latest 2096-latest 8112-latest 31337-latest \
+ispm projects project --create 1000-latest 2096-latest 2050-latest 2053-latest 8112-latest 31337-latest \
   --ignore-existing-files
 cd project
 ```

diff --git a/examples/tutorials/risc-v-kernel/project/run.simics b/examples/tutorials/risc-v-kernel/project/run.simics
@@ -7,7 +7,7 @@ init-tsffs
 tsffs.log-level 4
 @tsffs.start_on_harness = True
 @tsffs.stop_on_harness = True
-@tsffs.set_timeout = 3.0
+@tsffs.timeout = 3.0
 @tsffs.exceptions = [14]
 
 load-target "risc-v-simple/linux" namespace = riscv machine:hardware:storage:disk1:image = "test.fs.craff"