6 BR2_GLOBAL_PATCH_DIR="board/telit/evk-pro3/patches"
8 # Linux headers same as kernel, a 3.9 series
9 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_3_9=y
11 # Watchdog is armed by the first stage bootloader
12 BR2_PACKAGE_BUSYBOX_WATCHDOG=y
15 BR2_TARGET_ROOTFS_UBIFS=y
16 BR2_TARGET_ROOTFS_UBI=y
20 BR2_TARGET_BAREBOX_CUSTOM_VERSION=y
21 BR2_TARGET_BAREBOX_CUSTOM_VERSION_VALUE="2017.01.0"
22 BR2_TARGET_BAREBOX_BOARD_DEFCONFIG="telit_evk_pro3"
23 BR2_TARGET_BAREBOX_CONFIG_FRAGMENT_FILES="board/telit/evk-pro3/barebox.fragment"
27 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
28 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="3.9.1"
29 BR2_LINUX_KERNEL_USE_CUSTOM_CONFIG=y
30 BR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE="board/telit/evk-pro3/linux-3.9.config"
31 BR2_LINUX_KERNEL_APPENDED_ZIMAGE=y
32 BR2_LINUX_KERNEL_INTREE_DTS_NAME="evk-pro3"