Great writeup. For those interested in the subject there is also PumpkinOS (https://github.com/migueletto/PumpkinOS) with accompanying blog posts going in to details.