configs/freescale_t1040d4rdb_defconfig

   1 # Architecture
   2 BR2_powerpc64=y
   3 BR2_powerpc_e5500=y
   4
   5 # Linux headers same as kernel, a 4.15 series
   6 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_15=y
   7
   8 # Serial port config
   9 BR2_TARGET_GENERIC_GETTY_PORT="ttyS0"
  10
  11 # Kernel
  12 BR2_LINUX_KERNEL=y
  13 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
  14 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.15.7"
  15 BR2_LINUX_KERNEL_DEFCONFIG="corenet64_smp"
  16 BR2_LINUX_KERNEL_DTS_SUPPORT=y
  17 BR2_LINUX_KERNEL_INTREE_DTS_NAME="fsl/t1040d4rdb"
  18 BR2_LINUX_KERNEL_NEEDS_HOST_OPENSSL=y
  19
  20 # Filesystem
  21 BR2_TARGET_ROOTFS_CPIO=y
  22 BR2_TARGET_ROOTFS_CPIO_GZIP=y
  23 BR2_TARGET_ROOTFS_CPIO_UIMAGE=y
  24 # BR2_TARGET_ROOTFS_TAR is not set