X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/8fe9942cde59835eb3c3c6936d866dd3305582ef:/l4/pkg/libloader/include/remote_app_model..003b628647705666de261350195da72a38f2c4d2:/l4/pkg/l4re-core/libloader/include/remote_app_model

diff --git a/l4/pkg/libloader/include/remote_app_model b/l4/pkg/l4re-core/libloader/include/remote_app_model
similarity index 97%
rename from l4/pkg/libloader/include/remote_app_model
rename to l4/pkg/l4re-core/libloader/include/remote_app_model
index 6e11859cb..81807db36 100644
--- a/l4/pkg/libloader/include/remote_app_model
+++ b/l4/pkg/l4re-core/libloader/include/remote_app_model
@@ -25,13 +25,14 @@ struct Remote_app_std_caps
     Task_cap               = 1,
     Factory_cap            = 2,
     Rm_thread_cap          = 3,
-    External_rm_cap        = 5,
-    Allocator_cap          = 7,
+    Log_cap                = 5,
+    Scheduler_cap          = 7,
+    // skip base caps
+    External_rm_cap        = 0x10,
+    Allocator_cap,
     Names_cap,
-    Log_cap,
     Parent_cap,
     Kip_cap,
-    Scheduler_cap,
     First_free,
   };
 };