1812b31d3SAlex Bennée# Default configuration for Xtensa 2812b31d3SAlex Bennée 37e10ce27SPaolo Bonzini# Uncomment the following lines to disable these optional devices: 47e10ce27SPaolo Bonzini# 57e10ce27SPaolo Bonzini#CONFIG_PCI_DEVICES=n 67e10ce27SPaolo Bonzini 7812b31d3SAlex Bennée# Boards: 8812b31d3SAlex Bennée# 9812b31d3SAlex BennéeCONFIG_XTENSA_SIM=y 10812b31d3SAlex BennéeCONFIG_XTENSA_VIRT=y 11812b31d3SAlex BennéeCONFIG_XTENSA_XTFPGA=y 12