A little kernel like vxworks with full of features.