seL4Test-Sim

libplatsupport: Add support for imx8mp-evk #401

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 55s
Simulation (armv7a, clang)	12m 34s
Simulation (armv8a, gcc)	3m 52s
Simulation (armv8a, clang)	3m 52s
Simulation (nehalem, gcc)	7m 54s
Simulation (nehalem, clang)	8m 40s
Simulation (rv32imac, gcc)	5m 19s
Simulation (rv32imac, clang)	11m 51s
Simulation (rv64imac, gcc)	5m 59s
Simulation (rv64imac, clang)	10m 49s
	1h 23m 45s