Approaching a 10 Second Linux Kernel Build

I didn’t realise we were already in the sub minute range for the default configuration.

This is pretty impressive.