seL4Test Sim

libplatsupport: separate drivers from platforms #358

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 16s
Simulation (armv7a, clang)	9m 0s
Simulation (armv8a, gcc)	3m 52s
Simulation (armv8a, clang)	3m 56s
Simulation (nehalem, gcc)	7m 41s
Simulation (nehalem, clang)	8m 38s
Simulation (rv32imac, gcc)	5m 3s
Simulation (rv32imac, clang)	11m 49s
Simulation (rv64imac, gcc)	5m 44s
Simulation (rv64imac, clang)	10m 44s
	1h 15m 43s