another real-time operating system; draft