ubootconfig=rock-pi-4-rk3399_defconfig
bootmode=extlinux
dtb_name=rk3399-rock-pi-4a
platform=rockchip
soc_name=rk3399
arch=arm64
part_table=gpt
boot_size=256

POST_BOARD_OVERLAY() {
    echo "Put ${board} firmware into rootfs..."
    echo "Nothing to do..."
}