# Chose a minimalistic subset of board/configs due to macOS builds
# being extremely slow on GitHub

# ARM

/arm/stm32/stm32f4discovery/configs/nsh,CONFIG_ARM_TOOLCHAIN_GNU_EABI

# ARM64

/arm64/qemu/qemu-armv8a/configs/nsh_smp

# 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
/risc-v/esp32c3-legacy/esp32c3-devkit/configs/cxx
/risc-v/esp32c3-legacy/esp32c3-devkit/configs/wifi

# 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

# XTENSA

/xtensa/esp32/esp32-devkitc/configs/wifi