Updated documentation of timer examples.

Author: ccattuto

tests/README.md

@@ -22,7 +22,7 @@
 
 - `test_newlib9.c`: Tests correct trap behavior for EBREAK, ECALL and illegal instructions.
 
-- `test_newlib10.c`: Tests machine timer interrupt (`mtime` / `mtimecmp`), firing timer and handling timer traps while an idle loop is running. Run it with the `--timer` option and check that the number of times the interrupt has fired is nonzero. Run it with `--traps`` to monitor timer-based trap generation.
+- `test_newlib10.c`: Tests machine timer interrupt (`mtime` / `mtimecmp`), firing timer and handling timer traps while an idle loop is running. Run it with the `--timer=csr` option and check that the number of times the interrupt has fired is nonzero. Run it with `--traps`` to monitor timer-based trap generation.
 
-- `test_newlib11.c`: Simple implementation of timer-based preemptive scheduling for two tasks. The first task increments a counter and prints it to console (using the debug macros in `risc-py.h`) every `0x10000` loops. The second task decrements a counter and prints it to console every `0x10000` loops. Run this example with the `--timer` option. Use `--traps`` to see timer-based traps triggering task switching.
+- `test_newlib11.c`: Simple implementation of timer-based preemptive scheduling for two tasks. The first task increments a counter and prints it to console (using the debug macros in `risc-py.h`) every `0x10000` loops. The second task decrements a counter and prints it to console every `0x10000` loops. Run this example with the `--timer=csr` option. Use `--traps`` to see timer-based traps triggering task switching.
 

tests/test_newlib10.c

@@ -1,5 +1,5 @@
 // This example tests machine timer interrupt handling (mtime / mtimecmp).
-// Use "--timer" to run it.
+// Use "--timer=csr" to run it.
 
 #include <stdint.h>
 #include <stdio.h>

tests/test_newlib11.c

@@ -1,5 +1,5 @@
 // This example implements timer-based round-robin preemptive scheduling for two tasks.
-// Use "--timer" to run it.
+// Use "--timer=csr" to run it.
 
 #include <stdint.h>
 #include <stdio.h>