How I ended up writing a new real-time kernel (dmitryfrank.com)

this is really interesting, thanks for posting