build_kernel_deb: Add devkit build option

build/build_kernel_deb.sh

@@ -20,7 +20,7 @@ pureos_board=imx6
 usage() {
   echo "Usage : $1 "
   echo "    -h Display this help message."
-  echo "    -b [imx6|imx8|ec-som] select the board type."
+  echo "    -b [imx6|imx8|ec-som|devkit] select the board type."
 }
 
 while getopts ":hb:" opt; do
@@ -72,6 +72,16 @@ case ${pureos_board} in
     GIT_OPTS="--depth 1"
     DTS_FILE=""
     ;;
+  devkit)
+    KERNEL_BRANCH=imx8-4.18-wip
+    KERNEL_REPO=https://source.puri.sm/Librem5/linux-emcraft.git
+    CROSS_COMPILER=aarch64-linux-gnu-
+    DOT_CONFIG=librem5-evk_defconfig
+    ARCH=arm64
+    COMPILER_ARCH=arm64
+    GIT_OPTS="--depth 1"
+    DTS_FILE=""
+    ;;
   \?)
     echo "unrecognized board type ${pureos_board}"
     exit 1