Ciro Santilli @cirosantilli 37

Docs: docs.zephyrproject.org/2.7.0/boards/arm/bbc_microbit/doc/index.html

Build worked:but flash failed:Related: mattoppenheim.com/2018/06/24/using-udev-to-remove-the-need-for-sudo-with-the-bbc-microbit

The build also generates a .hex file by default, and we've tried to flash it manually with:but we failed to see it do anything with zephyr/blink_gpio.c, so not sure if the flashing was broken or if the code was broken, or if we didn't find the IO pins correctly.

Zephyr docs: docs.zephyrproject.org/latest/boards/raspberrypi/rpi_pico/doc/index.html

Note that the LED blinker example does not work on the Raspberry Pi Pico W, see also: Run Zephyr on Raspberry Pi Pico W.

You can speed up the debug loop a little bit by plugging the Pi with BOOTSEL selected, and then running:This flashes the image, and immediately turns off BOOTSEL mode and runs the program.

However to run again you need to unplug the USB and re-plug with BOOTSEL again so it is still painful.