BOARD_ID=rpi4
BOARD_NAME="RaspberryPi 4"
CHASSIS=embedded
BOOTLOADER=uboot
KERNEL_FILE=zImage
BOOT_SYS=hyprid
BOOT_ENV_SIZE=0x4000