seL4Test-Sim

libplatsupport: separate drivers from platforms #400

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	3h 3m 3s
Simulation (armv7a, clang)	3h 3m 39s
Simulation (armv8a, gcc)	1h 1m 45s
Simulation (armv8a, clang)	1h 1m 55s
Simulation (nehalem, gcc)	2h 2m 12s
Simulation (nehalem, clang)	2h 2m 49s
Simulation (rv32imac, gcc)	1h 22m 19s
Simulation (rv32imac, clang)	1h 22m 19s
Simulation (rv64imac, gcc)	1h 22m 21s
Simulation (rv64imac, clang)	1h 22m 29s
	17h 44m 51s