seL4Test

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 18s
Simulation (armv7a, clang)	9m 2s
Simulation (armv8a, gcc)	3m 52s
Simulation (armv8a, clang)	3m 50s
Simulation (nehalem, gcc)	7m 33s
Simulation (nehalem, clang)	9m 9s
Simulation (rv32imac, gcc)	5m 1s
Simulation (rv32imac, clang)	11m 44s
Simulation (rv64imac, gcc)	5m 50s
Simulation (rv64imac, clang)	10m 45s
	1h 16m 4s