This isn't really relevant to booting Linux faster because it's about bare-metal programming a toy operating system. More of a learning tutorial than a practica

This isn't really relevant to booting Linux faster because it's about bare-metal programming a toy operating system. More of a learning tutorial than a practical replacement for standard Linux. There are plenty of guides for speeding up Raspberry Pi Linux boot: http://himeshp.blogspot.com/2018/08/fast-boot-with-raspberry-pi.html http://himeshp.blogspot.com/2018/08/fast-boot-with-raspberry... If you're developing a true embedded product then you'll be making a customized Linux distribution anyway, which will only include the minimum features needed during boot for your application.