| BR2_microblaze=y |
| BR2_microblazeel=y |
| BR2_TOOLCHAIN_EXTERNAL=y |
| BR2_TOOLCHAIN_EXTERNAL_XILINX_MICROBLAZEEL_V2=y |
| BR2_TOOLCHAIN_EXTERNAL_DOWNLOAD=y |
| BR2_TOOLCHAIN_EXTERNAL_CUSTOM_PREFIX="microblazeel-unknown-linux-gnu" |
| BR2_TOOLCHAIN_EXTERNAL_CUSTOM_GLIBC=y |
| BR2_TOOLCHAIN_EXTERNAL_CXX=y |
| BR2_TARGET_GENERIC_GETTY_PORT="ttyUL0" |
| # BR2_TARGET_ROOTFS_TAR is not set |
| BR2_TARGET_ROOTFS_INITRAMFS=y |
| BR2_LINUX_KERNEL=y |
| BR2_LINUX_KERNEL_USE_CUSTOM_CONFIG=y |
| BR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE="board/avnet/s6lx9_microboard/lx9_mmu_defconfig" |
| BR2_LINUX_KERNEL_USE_CUSTOM_DTS=y |
| BR2_LINUX_KERNEL_CUSTOM_DTS_PATH="board/avnet/s6lx9_microboard/lx9_mmu.dts" |