update

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

diff --git a/kernel/fiasco/src/kern/ux/config-ux.cpp b/kernel/fiasco/src/kern/ux/config-ux.cpp
index 942e042aeaa4f19a14a5a04b7d136f47f9e5442e..b3eeba319817ad123eed1390e8dc286100f978e9 100644 (file)
--- a/kernel/fiasco/src/kern/ux/config-ux.cpp
+++ b/kernel/fiasco/src/kern/ux/config-ux.cpp
@@ -12,6 +12,9 @@ EXTENSION class Config
 public:
   enum
   {
+    // cannot access user memory directly
+    Access_user_mem = No_access_user_mem,
+
     SCHED_PIT = 0,
   };