seL4Test

elfloader: Add generic-timer driver #417

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 39s
Simulation (armv7a, clang)	12m 28s
Simulation (armv8a, gcc)	4m 2s
Simulation (armv8a, clang)	3m 57s
Simulation (nehalem, gcc)	7m 38s
Simulation (nehalem, clang)	9m 21s
Simulation (rv32imac, gcc)	5m 5s
Simulation (rv32imac, clang)	11m 47s
Simulation (rv64imac, gcc)	5m 50s
Simulation (rv64imac, clang)	10m 39s
	1h 23m 26s