# RK3288 quad core 2GB SoC GBE BOARD_NAME="MiQi" BOARDFAMILY="rockchip" BOOTCONFIG="miqi-rk3288_defconfig" # MODULES="" MODULES_NEXT="" # KERNEL_TARGET="default,next,dev" CLI_TARGET="stretch,bionic:default,next" DESKTOP_TARGET="stretch,bionic:default,next" # CLI_BETA_TARGET="" DESKTOP_BETA_TARGET=""