seL4Test Sim

libplatsupport: separate drivers from platforms #393

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	3h 3m 4s
Simulation (armv7a, clang)	3h 3m 27s
Simulation (armv8a, gcc)	1h 1m 52s
Simulation (armv8a, clang)	1h 1m 53s
Simulation (nehalem, gcc)	2h 2m 17s
Simulation (nehalem, clang)	2h 2m 42s
Simulation (rv32imac, gcc)	1h 22m 22s
Simulation (rv32imac, clang)	1h 22m 23s
Simulation (rv64imac, gcc)	1h 22m 18s
Simulation (rv64imac, clang)	1h 22m 24s
	17h 44m 42s