Minor style fix in README

au-ts · Sep 23, 2023 · cecaed0 · cecaed0
1 parent e25c72a
commit cecaed0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -92,7 +92,7 @@ From here, you can follow the instructions
 If you have built the SDK then the path to the SDK should look something like
 this: `microkit/release/microkit-sdk-1.2.6`.
 
-## Building the example system
+### Building and running
 
 Finally, we can simulate a basic system with a single Linux guest with the
 following command. We want to run the `simple` example system in a `debug`