seL4Test-Sim

cmake: Support binary build for imx8mp-evk #65

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 35s
Simulation (armv7a, clang)	12m 31s
Simulation (armv8a, gcc)	3m 52s
Simulation (armv8a, clang)	3m 59s
Simulation (nehalem, gcc)	7m 42s
Simulation (nehalem, clang)	8m 41s
Simulation (rv32imac, gcc)	5m 6s
Simulation (rv32imac, clang)	9m 17s
Simulation (rv64imac, gcc)	5m 51s
Simulation (rv64imac, clang)	8m 4s
	1h 17m 38s