Last week I presented a paper at https://www.osadl.org/RTLWS-2012.rtlws-2012.0.html. 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 ../../papers/os-noise.