A Linux Kernel Module to manage the Raspberry Pi's (RPi) General Purpose Input & Output (GPIO) pins