seL4Test

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 6s
Simulation (armv7a, clang)	8m 56s
Simulation (armv8a, gcc)	3m 51s
Simulation (armv8a, clang)	4m 4s
Simulation (nehalem, gcc)	7m 36s
Simulation (nehalem, clang)	8m 37s
Simulation (rv32imac, gcc)	5m 3s
Simulation (rv32imac, clang)	13m 15s
Simulation (rv64imac, gcc)	5m 53s
Simulation (rv64imac, clang)	10m 39s
	1h 17m 0s