| BR2_aarch64=y |
| BR2_TOOLCHAIN_EXTERNAL=y |
| BR2_TARGET_GENERIC_GETTY_PORT="ttyAMA0" |
| BR2_LINUX_KERNEL=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="3.13.6" |
| BR2_LINUX_KERNEL_USE_CUSTOM_CONFIG=y |
| BR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE="$(LINUX_DIR)/arch/arm64/configs/defconfig" |
| BR2_LINUX_KERNEL_IMAGE_TARGET_CUSTOM=y |
| BR2_LINUX_KERNEL_IMAGE_TARGET_NAME="Image" |
| BR2_LINUX_KERNEL_DTS_SUPPORT=y |
| BR2_LINUX_KERNEL_INTREE_DTS_NAME="foundation-v8" |
| BR2_TARGET_ROOTFS_EXT2=y |
| # BR2_TARGET_ROOTFS_TAR is not set |
| BR2_TARGET_BOOT_WRAPPER_AARCH64=y |
| BR2_TARGET_BOOT_WRAPPER_AARCH64_DTS="foundation-v8" |
| BR2_TARGET_BOOT_WRAPPER_AARCH64_BOOTARGS="root=/dev/vda consolelog=9 console=ttyAMA0 rw" |
