RPi.GPIO
A module to control Raspberry Pi GPIO channels