Kernel level development on the raspberry pi