G github.com Booting embedded Linux in 0.37 seconds on an ARMv7-A CPU at 528 MHz 187 points eerimoq 6 years ago 83 comments