Rockchip: use correct rk3328 bootloader bl31 filename

This commit is contained in:
Jonas Karlman 2019-01-19 13:16:22 +01:00
parent e1a7c702cf
commit 05f42c1046

View File

@ -21,7 +21,7 @@ case "$PKG_SOC" in
rk3328)
PKG_DATAFILE="$PKG_RKBIN/rk33/rk3328_ddr_786MHz_v1.13.bin"
PKG_LOADER="$PKG_RKBIN/rk33/rk3328_miniloader_v2.49.bin"
PKG_BL31="$PKG_RKBIN/rk33/rk3328_bl31_v1.40.bin"
PKG_BL31="$PKG_RKBIN/rk33/rk3328_bl31_v1.40.elf"
PKG_LOAD_ADDR="0x200000"
;;
rk3399)