使用的配置文件是：
configs/rk3399_box_defconfig
CONFIG_RKCHIP_RK3399=y
CONFIG_PRODUCT_BOX=y
CONFIG_NORMAL_WORLD=y
CONFIG_SECOND_LEVEL_BOOTLOADER=y
CONFIG_BAUDRATE=1500000
CONFIG_ARM=y
CONFIG_ROCKCHIP_ARCH64=y
CONFIG_PLAT_RK33XX=y
原文：http://www.cnblogs.com/chenjuncn/p/6663774.html