6 # Use gcc 4.7, as gcc 4.8 breaks the boot.
7 BR2_GCC_VERSION_4_7_X=y
10 BR2_TARGET_GENERIC_GETTY=y
11 BR2_TARGET_GENERIC_GETTY_PORT="ttyS1"
13 # Linux headers same as kernel, a 3.3 series
14 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_3_3=y
18 BR2_LINUX_KERNEL_CUSTOM_GIT=y
19 BR2_LINUX_KERNEL_CUSTOM_REPO_URL="https://github.com/mindboards/ev3dev-kernel.git"
20 BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="v3.3.0-2-ev3dev_0"
21 BR2_LINUX_KERNEL_DEFCONFIG="ev3dev"
24 BR2_TARGET_ROOTFS_EXT2=y
25 BR2_TARGET_ROOTFS_EXT2_3=y
26 # BR2_TARGET_ROOTFS_TAR is not set