seL4Test

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	1m 45s
Simulation (armv7a, clang)	1m 46s
Simulation (armv8a, gcc)	1m 31s
Simulation (armv8a, clang)	1m 32s
Simulation (nehalem, gcc)	1m 46s
Simulation (nehalem, clang)	1m 46s
Simulation (rv32imac, gcc)	1m 45s
Simulation (rv32imac, clang)	1m 45s
Simulation (rv64imac, gcc)	1m 44s
Simulation (rv64imac, clang)	1m 44s
	17m 4s