A simple OS kernel as a starting point and demo object for Codebits 2014