3 ms·Writing an Operating System with a Strictly Typed Assembly Language (2005) [pdf]2 points by lainon 8y ago