update

[l4.git] / kernel / fiasco / src / kern / config.cpp

diff --git a/kernel/fiasco/src/kern/config.cpp b/kernel/fiasco/src/kern/config.cpp
index f1e2d8ef67d2b03b25aa00a6fdd364e7e6bd70f0..c3f49d3c7783ebed054872a99aac22dbb2327878 100644 (file)
--- a/kernel/fiasco/src/kern/config.cpp
+++ b/kernel/fiasco/src/kern/config.cpp
@@ -86,6 +86,10 @@ public:
 
   enum {
     Kip_syscalls = 1,
+
+    One_shot_min_interval_us =   200,
+    One_shot_max_interval_us = 10000,
+
 #ifdef CONFIG_ASSEMBLER_IPC_SHORTCUT
     Assembler_ipc_shortcut = 1,
 #else