From a07a70b73305add91e3924ff16cb32290cb7f5f1 2018-11-29 21:54:36
From: Unknown <xyz258@abwesend.de>
Date: 2018-11-29 21:54:36
Subject: [PATCH] a


---

diff --git a/bootstrap.d/13-kernel.sh b/bootstrap.d/13-kernel.sh
index 26cc9bc..3e3b50e 100644
--- a/bootstrap.d/13-kernel.sh
+++ b/bootstrap.d/13-kernel.sh
@@ -12,6 +12,7 @@ fi
 
 # Fetch and build latest raspberry kernel
 if [ "$BUILD_KERNEL" = true ] ; then
+  echo "WARNING: if ENABLE_NEXMON is used remember to put the CORRECT KERNELSRC IN KERNELSRC_DIR!!!!!1!"
   # Setup source directory
   mkdir -p "${KERNEL_DIR}"