technologyWe Reduced Cold-Boot Time From ~4ms to ~60µs Without Touching AArch64
When an airborne flight-control computer undergoes a sudden hardware reset mid-flight, rapid initialization isn't a luxury—it is a core functional requirement. We set out to measure where a formally verified microkernel’s cold-boot latency actually goes on real ARM hardware (Raspberry Pi 5, 4× Cortex-A76 @ 2.4GHz), measuring every microsecond between firmware hand-off at EL2 and scheduler readiness.