# Rockchip RK3399 hexa core 2G/4GB SoC Laptop eMMC USB3 WiFi BOARD_NAME="Pinebook Pro" BOARDFAMILY="rockchip64" BOOTCONFIG="pinebook-pro-rk3399_defconfig" BOOT_FDT_FILE="rockchip/rk3399-pinebook-pro.dtb" KERNEL_TARGET="legacy,current,edge" FULL_DESKTOP="yes" PACKAGE_LIST_DESKTOP_BOARD="xfce4-power-manager" BOOT_LOGO="desktop" BOOT_SCENARIO="blobless" ASOUND_STATE="asound.state.pinebook-pro"