Add note to README.md

Signed-off-by: Nick Spinale <[email protected]>
seL4 · May 2, 2024 · 6450887 · 6450887
1 parent 8499fa2
commit 6450887
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -138,7 +138,7 @@ At this repository's top-level directory, build and simulate a simple seL4-based
 task](./crates/examples/root-task/example-root-task) written in Rust (this will take a few minutes):
 
 ```
-make example
+make example # use 'ctrl-a x' to exit the simulation
 ```
 
 Build and run all of this repository's automated tests: