From 435396ea94ed706f2ec402db2681c6be2d7bbb71 2018-11-30 00:33:47
From: Unknown <xyz258@abwesend.de>
Date: 2018-11-30 00:33:47
Subject: [PATCH] f
---

diff --git a/bootstrap.d/13-kernel.sh b/bootstrap.d/13-kernel.sh
index 3e3b50e..b404857 100644
--- a/bootstrap.d/13-kernel.sh
+++ b/bootstrap.d/13-kernel.sh
@@ -7,7 +7,7 @@
 
 # Need to use kali kernel src if nexmon is enabled
 if [ "$ENABLE_NEXMON" = true ] ; then
-  KERNEL_URL="${NEXMON_URL}"
+  KERNEL_URL="${KALI_KERNEL_URL}"
 fi
 
 # Fetch and build latest raspberry kernel
diff --git a/rpi23-gen-image.sh b/rpi23-gen-image.sh
index 3d52155..18ef56d 100755
--- a/rpi23-gen-image.sh
+++ b/rpi23-gen-image.sh
@@ -69,6 +69,8 @@ RPI3_64_BIS_KERNEL_URL=${RPI3_64_BIS_KERNEL_URL:=https://github.com/sakaki-/bcmr
 RPI3_64_DEF_KERNEL_URL=${RPI3_64_DEF_KERNEL_URL:=https://github.com/sakaki-/bcmrpi3-kernel/releases/download/4.14.80.20181113/bcmrpi3-kernel-4.14.80.20181113.tar.xz}
 # Generic 
 RPI3_64_KERNEL_URL=${RPI3_64_KERNEL_URL:=$RPI3_64_DEF_KERNEL_URL}
+# Kali kernel src - used if ENABLE_NEXMON=true (they patch the wlan kernel modul)
+KALI_KERNEL_URL=${KALI_KERNEL_URL:=https://github.com/Re4son/re4son-raspberrypi-linux.git}
 
 # Build directories
 WORKDIR=$(pwd)