seL4Test

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	1m 41s
Simulation (armv7a, clang)	1m 40s
Simulation (armv8a, gcc)	1m 27s
Simulation (armv8a, clang)	1m 29s
Simulation (nehalem, gcc)	1m 40s
Simulation (nehalem, clang)	1m 38s
Simulation (rv32imac, gcc)	1m 40s
Simulation (rv32imac, clang)	1m 41s
Simulation (rv64imac, gcc)	1m 39s
Simulation (rv64imac, clang)	1m 39s
	16m 14s