seL4Test

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 13s
Simulation (armv7a, clang)	8m 58s
Simulation (armv8a, gcc)	3m 54s
Simulation (armv8a, clang)	3m 49s
Simulation (nehalem, gcc)	7m 35s
Simulation (nehalem, clang)	8m 26s
Simulation (rv32imac, gcc)	4m 58s
Simulation (rv32imac, clang)	11m 41s
Simulation (rv64imac, gcc)	5m 50s
Simulation (rv64imac, clang)	10m 41s
	1h 15m 5s