merge barrelfish release2017-10-12

buaales · Jan 24, 2018 · 40e522f · 40e522f
1 parent 3487070
commit 40e522f
Show file tree

Hide file tree

Showing 11,644 changed files with 779,210 additions and 2,778,492 deletions.
diff --git a/.gitignore b/.gitignore
@@ -51,3 +51,4 @@ bin/
 
 # clang
 .clang_complete
+compile_commands.json
diff --git a/capabilities/caps.hl b/capabilities/caps.hl
@@ -317,3 +317,12 @@ cap KernelControlBlock from RAM {
 };
 
 cap IPI is_always_copy {};
+
+cap ProcessManager is_always_copy {
+    // Capability to act as process manager, i.e. create new domain caps.
+};
+
+cap Domain from ProcessManager {
+    eq coreid coreid;  /* Core where the domain was created. */
+    eq uint32 core_local_id;  /* Core-local ID of the domain. */
+};
diff --git a/devices/Hakefile b/devices/Hakefile
@@ -72,7 +72,6 @@
            "ti_twl6030",
            "sdhc",
            "apm88xxxx/apm88xxxx_pc16550",
-           "armv8/armv8_generic_timer",
            "armv8/armv8_cache_ctrl",
            "omap/ehci",
            "omap/ohci",
Original file line number	Diff line number	Diff line change
Expand Up		@@ -51,3 +51,4 @@ bin/

		# clang
		.clang_complete
		compile_commands.json