Last week I presented a paper at 14th Real-Time Linux Workshop. The topic was the comparison of operating system noise between Linux and NOVA microkernel. It was a joint work of myself and Stefan Wächtler from TU Dresden. If you are interested I published the paper as well as all source data here.