MicroPython, a Python interpreter for microcontrollers, has released version 1.23 with several improvements. Notably, it now supports creating custom USB devices on multiple levels and has received improvements for OpenAMP, an inter-core communication protocol.
This article doesn't work for the Raspberry Pi Pico W, as the pin has moved.
Instead use
led = machine.Pin("LED", machine.Pin.OUT)