Very related to RTT: CAmkES (on Open Kernel Labs microkernel)...