How I ended up writing a new real-time kernel

this is really interesting, thanks for posting