# Rockchip RK3399 hexa core 4GB SoC eMMC GBE USB3 WiFi BOARD_NAME="Firefly RK3399" BOARDFAMILY="rockchip64" BOARD_MAINTAINER="" BOOTCONFIG="firefly-rk3399_defconfig" KERNEL_TARGET="current,edge" KERNEL_TEST_TARGET="current" FULL_DESKTOP="yes" BOOT_LOGO="desktop" BOOT_FDT_FILE="rockchip/rk3399-firefly.dtb" SRC_EXTLINUX="yes" SRC_CMDLINE="console=ttyS2,1500000 console=tty0"