seL4Test

Hardware debug API: Extend to aarch64 and add single stepping test #144

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 22s
Simulation (armv7a, clang)	8m 51s
Simulation (armv8a, gcc)	3m 50s
Simulation (armv8a, clang)	3m 49s
Simulation (nehalem, gcc)	7m 33s
Simulation (nehalem, clang)	8m 42s
Simulation (rv32imac, gcc)	5m 3s
Simulation (rv32imac, clang)	11m 47s
Simulation (rv64imac, gcc)	8m 52s
Simulation (rv64imac, clang)	10m 40s
	1h 18m 29s