# Copyright 2021 NXP

MEMORY_START="0x84000000"
MEMORY_END="0xFFFFFFFF"

XEN="xen"
XEN_CMD="dom0_mem=512M dom0_max_vcpus=1 bootscrub=0"
DOM0_KERNEL="Image"
DOM0_CMD="console=ttyLF0,115200 earlycon=xen earlyprintk=xen root=/dev/mmcblk0p2 rw clk_ignore_unused"

NUM_DOMUS=0

UBOOT_SOURCE="boot.source"
UBOOT_SCRIPT="boot.scr"
