update

[l4.git] / l4 / pkg / l4sys / include / capability

diff --git a/l4/pkg/l4sys/include/capability b/l4/pkg/l4sys/include/capability
index 071d1b786cbff208678a58e6e34697cce47929a6..df6c8c9ab427213afb0d32f9998cf23d656b7fc4 100644 (file)
--- a/l4/pkg/l4sys/include/capability
+++ b/l4/pkg/l4sys/include/capability
@@ -257,8 +257,8 @@ public:
     if (!is_valid() || !src.is_valid())
       return *this;
 
-    l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_FPAGE_RWX),
-                snd_base(L4_MAP_ITEM_GRANT));
+    l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_CAP_FPAGE_RWSD),
+                snd_base(L4_MAP_ITEM_GRANT) | 0xf0);
 
     return *this;
   }
@@ -311,8 +311,8 @@ public:
     if (!is_valid() || !src.is_valid())
       return *this;
 
-    l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_FPAGE_RWX),
-                snd_base(L4_MAP_ITEM_GRANT));
+    l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_CAP_FPAGE_RWSD),
+                snd_base(L4_MAP_ITEM_GRANT) | 0xf0);
 
     return *this;
   }