diff --git a/nix/tests.nix b/nix/tests.nix index 670ba82a..e5e1d968 100644 --- a/nix/tests.nix +++ b/nix/tests.nix @@ -25,6 +25,9 @@ in { ${../util/test_runner.py} -t 30 fpga "$1" \ --elf-file ${sonata-system-software}/bin/test_runner \ --tcl-file ${../util/sonata-openocd-cfg.tcl} + echo "RTOS test suite" + ${../util/test_runner.py} -t 600 fpga "$1" \ + --uf2-file ${cheriot-rtos-test-suite}/share/test-suite.uf2 ''; };