A tiny kernel like VxWorks