# ArchitectureBR2_arm=yBR2_cortex_a8=y# Linux headers same as kernel, a 3.12 seriesBR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_4=y# SystemBR2_TARGET_GENERIC_HOSTNAME="apf51"BR2_TARGET_GENERIC_ISSUE="Welcome to Armadeus development platform !"BR2_TARGET_GENERIC_GETTY_PORT="ttymxc2"# KernelBR2_LINUX_KERNEL=yBR2_LINUX_KERNEL_CUSTOM_VERSION=yBR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.4.30"BR2_LINUX_KERNEL_USE_CUSTOM_CONFIG=yBR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE="board/armadeus/apf51/linux-4.4.config"BR2_LINUX_KERNEL_UIMAGE=yBR2_LINUX_KERNEL_UIMAGE_LOADADDR="0x90008000"BR2_LINUX_KERNEL_DTS_SUPPORT=yBR2_LINUX_KERNEL_INTREE_DTS_NAME="imx51-apf51dev"# FilesystemBR2_TARGET_ROOTFS_UBIFS=yBR2_TARGET_ROOTFS_UBIFS_MAXLEBCNT=135301BR2_TARGET_ROOTFS_UBI=y