Arduino/esp8266/micropython/examples/hwapi/button_led.py

import utime
from hwconfig import LED, BUTTON

# Light LED when (and while) a BUTTON is pressed

while 1:
    LED.value(BUTTON.value())
    # Don't burn CPU
    utime.sleep_ms(10)