o1vm/README: add a section to reg. new test examples

o1-labs · Dec 5, 2024 · bbe2ef8 · bbe2ef8
1 parent 214347f
commit bbe2ef8
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/o1vm/README.md b/o1vm/README.md
@@ -209,3 +209,11 @@ _riscv32-gnu-toolchain/build/riscv32-unknown-elf-as \
   -o a.out \
   o1vm/resources/programs/riscv32im/src/${FILENAME}
 ```
+
+### Write new test examples
+
+The Makefile at the top-level of this repository will automatically detect new
+`.S` files in the directory `o1vm/resources/programs/riscv32im/src/` when the
+target `build-riscv32-programs` is called. Any change to the existing files will
+also be detected by the target, and you can commit the changes of the resulting
+binary.