| # Architecture |
| BR2_powerpc64=y |
| BR2_powerpc_e5500=y |
| |
| # Linux headers same as kernel, a 4.15 series |
| BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_15=y |
| |
| # Serial port config |
| BR2_TARGET_GENERIC_GETTY_PORT="ttyS0" |
| |
| # Kernel |
| BR2_LINUX_KERNEL=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.15.7" |
| BR2_LINUX_KERNEL_DEFCONFIG="corenet64_smp" |
| BR2_LINUX_KERNEL_DTS_SUPPORT=y |
| BR2_LINUX_KERNEL_INTREE_DTS_NAME="fsl/t1040d4rdb" |
| BR2_LINUX_KERNEL_NEEDS_HOST_OPENSSL=y |
| |
| # Filesystem |
| BR2_TARGET_ROOTFS_CPIO=y |
| BR2_TARGET_ROOTFS_CPIO_GZIP=y |
| BR2_TARGET_ROOTFS_CPIO_UIMAGE=y |
| # BR2_TARGET_ROOTFS_TAR is not set |
