export DEFCONFIG=rockchip_linux_defconfig
export UBOOT_DEFCONFIG=rock-4se-rk3399_defconfig
export DTB=rk3399-rock-4se.dtb
export ARCH=arm64
export CROSS_COMPILE=aarch64-unknown-linux-gnu-
export CHIP="rk3399"
export PLAT="${CHIP}"
export BL31="$(pwd)/bl31.elf"