Writing an operating kernel from scratch for raspberry pi