| BR2_microblaze=y | |
| BR2_microblazeel=y | |
| # Linux headers same as kernel, a 4.4 series | |
| BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_4=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" |