seL4Test-Sim

cmake_tool: add ELF loader setting for zynqmq 32 #513

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 26s
Simulation (armv7a, clang)	12m 25s
Simulation (armv8a, gcc)	3m 49s
Simulation (armv8a, clang)	3m 55s
Simulation (nehalem, gcc)	7m 35s
Simulation (nehalem, clang)	8m 38s
Simulation (rv32imac, gcc)	4m 48s
Simulation (rv32imac, clang)	9m 17s
Simulation (rv64imac, gcc)	5m 48s
Simulation (rv64imac, clang)	7m 50s
	1h 16m 31s