From 6a0647cd909256565d8f7525d61823dfd96de90f Mon Sep 17 00:00:00 2001
From: Joachim Desroches <joachim.desroches@epfl.ch>
Date: Wed, 21 Apr 2021 15:35:13 +0200
Subject: [PATCH] [__jool]: fail on unkown alpine kernel.

---
 type/__jool/explorer/alpine-kernel-modules | 6 ++++++
 type/__jool/parameter/boolean              | 1 -
 2 files changed, 6 insertions(+), 1 deletion(-)
 delete mode 100644 type/__jool/parameter/boolean

diff --git a/type/__jool/explorer/alpine-kernel-modules b/type/__jool/explorer/alpine-kernel-modules
index e3a1a35..581d63a 100755
--- a/type/__jool/explorer/alpine-kernel-modules
+++ b/type/__jool/explorer/alpine-kernel-modules
@@ -10,4 +10,10 @@ case $(uname -r) in
 *-lts)
 	printf "jool-modules-lts"
 	;;
+*)
+	cat <<- EOF >&2
+	Incompatible kernel version found - could not install jool kernel
+	modules. Please use one of linux-lts or linux-virt.
+	EOF
+	exit 1
 esac
diff --git a/type/__jool/parameter/boolean b/type/__jool/parameter/boolean
deleted file mode 100644
index 73b3d4e..0000000
--- a/type/__jool/parameter/boolean
+++ /dev/null
@@ -1 +0,0 @@
-vm