mbed GPIO for Buttons, LEDs, Buzzer