This the real XaOS kernel. :)