SDK

Utilise seL4_DebugNameThread for debugging #700

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build SDK (macOS x86-64, ARM64)	11m 30s
Build SDK (Linux x86-64, ARM64)	10m 40s
	22m 10s