A small kernel written in Nimrod