3 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_15=y
4 BR2_TARGET_GENERIC_GETTY_PORT="ttyS0"
6 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
7 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.15.7"
8 BR2_LINUX_KERNEL_DEFCONFIG="mpc85xx_smp"
9 BR2_LINUX_KERNEL_DTS_SUPPORT=y
10 BR2_LINUX_KERNEL_INTREE_DTS_NAME="fsl/p1025twr"
11 BR2_LINUX_KERNEL_NEEDS_HOST_OPENSSL=y
12 BR2_TARGET_ROOTFS_CPIO=y
13 BR2_TARGET_ROOTFS_CPIO_GZIP=y
14 BR2_TARGET_ROOTFS_CPIO_UIMAGE=y
15 # BR2_TARGET_ROOTFS_TAR is not set