A Real Time OS Kernel