update

[l4.git] / kernel / fiasco / src / kern / koptions-def.h

diff --git a/kernel/fiasco/src/kern/koptions-def.h b/kernel/fiasco/src/kern/koptions-def.h
index e3e8bf0b7a2a46f229708044cc6cbe37b628f70d..3727858a04b72ce34b6b08e23c006969741ab325 100644 (file)
--- a/kernel/fiasco/src/kern/koptions-def.h
+++ b/kernel/fiasco/src/kern/koptions-def.h
@@ -20,6 +20,7 @@ namespace L4_kernel_options
     F_apic              = 1 << 8,
     F_loadcnt           = 1 << 9,
     F_watchdog          = 1 << 10,
+    F_keymap_de         = 1 << 11,
     F_irq0              = 1 << 13,
     F_nosfn             = 1 << 15,
     F_jdb_never_stop    = 1 << 16,