A remote control for a garage door using a Raspberry Pi