diff --git a/data/settings/kernel/drivers/kernel b/data/settings/kernel/drivers/kernel
new file mode 100644
index 0000000000..4ce4b0402d
--- /dev/null
+++ b/data/settings/kernel/drivers/kernel
@@ -0,0 +1,11 @@
+#serial_debug_port <num>|<port>
+	# serial interface number (as enumerated by the BIOS) or the
+	# base port of the serial interface to be used for kernel
+	# debug output and the kernel debugger
+
+#serial_debug_speed <9600|19200|38400|57600|115200>
+
+#bochs_debug_output true
+	# Activates Bochs debug output if enabled in the kernel
+	# (available on x86 as a build option only)
+