BOARD_ID=odroid-xu4 BOARD_NAME="Hardkernel Odroid-XU4" CHASSIS=embedded BOOTLOADER=uboot KERNEL_FILE=zImage BOOT_SYS=mbr BOOT_SPL=true BOOT_ENV_SIZE=0x4000 SUPERVISOR_MACHINE=odroid-xu SUPERVISOR_ARCH=armv7