From bc1ff2f2f7fb6763e6cb2c0ed132eabf234942d1 Mon Sep 17 00:00:00 2001
From: Franco Fichtner <franco@opnsense.org>
Date: Sun, 24 Feb 2019 20:32:10 +0100
Subject: [PATCH] firmware: small note for the future

---
 src/opnsense/scripts/firmware/sets.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/opnsense/scripts/firmware/sets.sh b/src/opnsense/scripts/firmware/sets.sh
index 50390bb21..5e9ad2d96 100755
--- a/src/opnsense/scripts/firmware/sets.sh
+++ b/src/opnsense/scripts/firmware/sets.sh
@@ -40,6 +40,10 @@ KL=0
 opnsense-update -Tb || BL=1
 opnsense-update -Tk || KL=1
 
+# We could detect debug kernel by looking into /usr/lib/debug
+# and add a suffix "-dbg" suffix for the kernel, but it will meddle
+# with the name.  Or we add a kernel.name file in the long run.
+
 cat << EOF
 base${SEP}${BV}${SEP}${OS} userland set${SEP}${BS}${SEP}${BL}${SEP}${LIC}
 kernel${SEP}${KV}${SEP}${OS} kernel set${SEP}${KS}${SEP}${KL}${SEP}${LIC}