Support code for peripherals (initially, speaker LEDs) - View it on GitHub