configs/s6lx9_microboard_defconfig

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