A small 32 bit kernel compiled with Kmpp and mmc