5 # Linux headers same as kernel, a 3.12 series
6 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_3_12=y
9 BR2_TARGET_GENERIC_HOSTNAME="apf28"
10 BR2_TARGET_GENERIC_ISSUE="Welcome to Armadeus development platform !"
11 BR2_TARGET_GENERIC_GETTY_PORT="ttyAMA0"
15 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
16 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="3.12.7"
17 BR2_LINUX_KERNEL_USE_CUSTOM_CONFIG=y
18 BR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE="board/armadeus/apf28/linux-3.12.config"
19 BR2_LINUX_KERNEL_UIMAGE=y
20 BR2_LINUX_KERNEL_UIMAGE_LOADADDR="0x40008000"
21 BR2_LINUX_KERNEL_DTS_SUPPORT=y
22 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx28-apf28dev"
25 BR2_TARGET_ROOTFS_UBIFS=y
26 BR2_TARGET_ROOTFS_UBIFS_LEBSIZE=0x1f000
27 BR2_TARGET_ROOTFS_UBIFS_MAXLEBCNT=4227
28 BR2_TARGET_ROOTFS_UBI=y
29 BR2_TARGET_ROOTFS_UBI_SUBSIZE=0