A simple, preemptive real time kernel