simple kernel modules for the raspberry pi