yet another Real Time Kernel