# Chose a minimalistic subset of board/configs due to macOS builds # being extremely slow on GitHub # AVR # # We do not have a toolchain for avr32 outside of Microchip login wall. # The work was never upstreamed to GCC. /avr/atmega/arduino-mega2560/configs/nsh # MIPS # # PINGUINOL toolchain doesn't provide macOS binaries # with the same name #/mips/pic32mx/pic32mx-starterkit/configs/nsh,CONFIG_MIPS32_TOOLCHAIN_PINGUINOL # RISC-V /risc-v/bl602/bl602evb/configs/wifi,CONFIG_RV32IM_TOOLCHAIN_GNU_RVGL /risc-v/esp32c3/esp32c3-devkit/configs/wapi,CONFIG_RV32IM_TOOLCHAIN_GNU_RVGL # ARM /arm/stm32/stm32f4discovery/configs/nsh,CONFIG_ARMV7M_TOOLCHAIN_GNU_EABIL # XTENSA /xtensa/esp32/esp32-devkitc/configs/wapi # x86_64-elf-gcc from homebrew doesn't seem to # provide __udivdi3 etc for -m32, so we do not build # x86 # x86_64 /x86_64/intel64/qemu-intel64/configs/nsh