seL4Test

libsel4vm: Remove SMP config guard on vmpidr reg #403

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	3h 3m 9s
Simulation (armv7a, clang)	3h 3m 39s
Simulation (armv8a, gcc)	1h 1m 43s
Simulation (armv8a, clang)	1h 1m 54s
Simulation (nehalem, gcc)	2h 2m 9s
Simulation (nehalem, clang)	2h 2m 49s
Simulation (rv32imac, gcc)	1h 22m 24s
Simulation (rv64imac, gcc)	1h 22m 22s
	15h 0m 9s