1BR2_microblaze=y 2BR2_microblazeel=y 3# Linux headers same as kernel, a 4.4 series 4BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_4=y 5BR2_TARGET_GENERIC_GETTY_PORT="ttyUL0" 6# BR2_TARGET_ROOTFS_TAR is not set 7BR2_TARGET_ROOTFS_INITRAMFS=y 8BR2_LINUX_KERNEL=y 9BR2_LINUX_KERNEL_CUSTOM_VERSION=y 10BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.4.7" 11BR2_LINUX_KERNEL_USE_CUSTOM_CONFIG=y 12BR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE="board/avnet/s6lx9_microboard/lx9_mmu_defconfig" 13BR2_LINUX_KERNEL_CUSTOM_DTS_PATH="board/avnet/s6lx9_microboard/lx9_mmu.dts" 14