seL4Test

Add tests for all of the ARM cache operations on all kinds of frame mappings. #190

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	1m 20s
Simulation (armv7a, clang)	1m 21s
Simulation (armv8a, gcc)	1m 21s
Simulation (armv8a, clang)	1m 20s
Simulation (nehalem, gcc)	1m 20s
Simulation (nehalem, clang)	1m 20s
Simulation (rv32imac, gcc)	1m 19s
Simulation (rv32imac, clang)	1m 20s
Simulation (rv64imac, gcc)	1m 7s
Simulation (rv64imac, clang)	1m 7s
	12m 55s