X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/846ee6a4a27b3178b23b551e333750133da39d27..7d8b3f45f98773ba02057b81b90c31a12320c09e:/kernel/fiasco/src/kern/ppc32/config-ppc32.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/config-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/config-ppc32.cpp
index 3755b90c4..447a18cf0 100644
--- a/kernel/fiasco/src/kern/ppc32/config-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/config-ppc32.cpp
@@ -5,7 +5,11 @@ INTERFACE [ppc32]:
 EXTENSION class Config
 {
 public:
-  enum {
+  enum
+  {
+    // cannot access user memory directly
+    Access_user_mem = No_access_user_mem,
+
     PAGE_SHIFT = ARCH_PAGE_SHIFT,
     PAGE_SIZE  = 1 << PAGE_SHIFT,
     PAGE_MASK  = ~(PAGE_SIZE - 1),
@@ -24,7 +28,7 @@ public:
                        //, min=1, max=8
   };
 
-  enum 
+  enum
   {
 #ifdef CONFIG_ONE_SHOT
     scheduler_one_shot		= 1,