6 # BR2_SOFT_FLOAT is not set
9 BR2_ROOTFS_DEVICE_CREATION_DYNAMIC_MDEV=y
10 BR2_TARGET_GENERIC_GETTY=y
11 BR2_TARGET_GENERIC_GETTY_PORT="ttyAMA0"
14 BR2_TARGET_ROOTFS_EXT2=y
15 # BR2_TARGET_ROOTFS_TAR is not set
17 # Lock to 3.9 headers to avoid breaking with newer kernels
18 BR2_KERNEL_HEADERS_3_9=y
22 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
23 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="3.9"
24 BR2_LINUX_KERNEL_DEFCONFIG="vexpress"
25 BR2_LINUX_KERNEL_ZIMAGE=y