BOARD_ID=odroid-xu4 BOARD_NAME="Hardkernel ODROID-XU4" CHASSIS=embedded BOOTLOADER=uboot KERNEL_FILE=zImage BOOT_SYS=mbr BOOT_SIZE=24M BOOT_SPL=true BOOT_SPL_SIZE=8M BOOT_ENV_SIZE=0x4000 SUPERVISOR_MACHINE=odroid-xu SUPERVISOR_ARCH=armv7