Note that you don't need to set PICO_COMPILER or PICO_GCC_TRIPLE - they will be set correctly by default for either
Statistics: Posted by kilograham — Thu Aug 15, 2024 4:52 pm