controlling an LED with Raspberry Pi's GPIO - View it on GitHub