seL4Test-Sim

i.MX 93: Add Low Power Timer (LPTMR) Driver #433

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	8m 57s
Simulation (armv7a, clang)	9m 19s
Simulation (armv8a, gcc)	2m 56s
Simulation (armv8a, clang)	3m 6s
Simulation (nehalem, gcc)	5m 44s
Simulation (nehalem, clang)	6m 51s
Simulation (rv32imac, gcc)	3m 56s
Simulation (rv32imac, clang)	6m 28s
Simulation (rv64imac, gcc)	4m 32s
Simulation (rv64imac, clang)	6m 27s
	58m 16s