A few simple kernels for raspberry pi.. slowly working towards a useful OS