--- /dev/null
+#@TYPE: Machine
+#@NAME: NXP LS1088ARDB
+#@SOC: LSCH3
+#@DESCRIPTION: Machine configuration for running LS1088ARDB in 64-bit mode
+#@MAINTAINER: Zongchun Yu <Zongchun.Yu@nxp.com>
+
+require conf/machine/include/qoriq-arm64.inc
+require conf/machine/include/arm/arch-arm64.inc
+
+DEFAULTTUNE = "aarch64_be"
+
+LE_UBOOT_FOR_ARMBE_TARGET = "1"
+
+MACHINEOVERRIDES =. "fsl-lsch3:ls1088a:"
+
+KERNEL_CLASSES = " kernel-itbimage "
+KERNEL_IMAGETYPES = "itbImage"
+
+DTB_LOAD = "0x90000000"
+UBOOT_ENTRYPOINT = "0x80080000"
+
+UBOOT_CONFIG ??= "secure-boot sdcard-qspi qspi"
+UBOOT_CONFIG[secure-boot] = "ls1088ardb_qspi_SECURE_BOOT_defconfig,,u-boot-dtb.bin"
+UBOOT_CONFIG[qspi] = "ls1088ardb_qspi_defconfig,,u-boot-dtb.bin"
+UBOOT_CONFIG[sdcard-qspi] = "ls1088ardb_sdcard_qspi_defconfig,,u-boot-with-spl.bin"
+
+KERNEL_DEVICETREE ?= "freescale/fsl-ls1088a-rdb.dtb"
+KERNEL_DEFCONFIG ?= "defconfig"
+
+SERIAL_CONSOLES ?= "115200;ttyS0 115200;ttyS1 115200;ttyAMA0"
+SERIAL_CONSOLES_CHECK ?= "${SERIAL_CONSOLES}"
+
+EXTRA_IMAGEDEPENDS += "mc-utils rcw management-complex ppa"
+USE_VT = "0"