Compact real-time operating system kernel