Firmware build for PICO fails - make: *** [lib/startup_stm32f401xx.o] Error 127

Sat 2021.09.25 - 11:49am CST

'there is no boards/PICO.py file'

Somewhere in the documentation I took the literal text 'PICO' as the only valid board name in the list of available boards. 'PICO_R1_3.py' is a filename. Subtle difference, but I'm following the documentation verbatim. Just can't find that location on github right now, but will post when I stumble across it.

So, no this error doesn't explain what may be intuitive to you.

'Isn't arm-none-eabi-gcc: Command not found message in plain English?'

I guess it comes with experience:

'Experience is what you get when you dont get what you wanted!'