seL4Test-HW

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
HW Build (armv7a, gcc)	5m 13s
HW Build (armv7a, clang)	5m 13s
HW Build (armv8a, gcc)	5m 12s
HW Build (armv8a, clang)	5m 12s
HW Build (nehalem, gcc)	5m 14s
HW Build (nehalem, clang)	5m 12s
HW Build (rv64imac, gcc)	5m 11s
HW Build (rv64imac, clang)	5m 12s
Matrix	1s
HW Run	1s
	41m 41s