Not a RasPi guy. However, I did research this a while back and figured I could get a minimal system to boot <10S. I think the system is called "buildroot". It basically compresses a stripped full OS image into the initial RasPi bootload file. Which autoloads from SDCard or whatever the boot...