Extension to the nanork OS kernel, a real-time operating system.