# Default configuration for Xtensa CONFIG_SEMIHOSTING=y # Boards: # CONFIG_XTENSA_SIM=y CONFIG_XTENSA_VIRT=y CONFIG_XTENSA_XTFPGA=y