processmanager: Initial project skeleton

This should give us a root task that simply says "Hello, World!" on start. This
is just a stand-in for what will come next.

Change-Id: I402c311d1c89a047dfaa12ab64d880bb1dea00b7
GitOrigin-RevId: aeeb8bc1f8175888d272ff7283df244fb94cc888

CMakeLists.txt

@@ -0,0 +1,26 @@
+cmake_minimum_required(VERSION 3.7.2)
+project(ProcessManager C ASM)
+
+set(project_dir "${CMAKE_CURRENT_LIST_DIR}/../../")
+file(GLOB project_modules ${project_dir}/projects/*)
+list(
+    APPEND
+        CMAKE_MODULE_PATH
+        ${project_dir}/kernel
+        ${project_dir}/tools/seL4/cmake-tool/helpers/
+        ${project_dir}/tools/seL4/elfloader-tool/
+        ${project_modules}
+)
+set(POLLY_DIR ${project_dir}/tools/polly CACHE INTERNAL "")
+
+add_executable(ProcessManager src/main.c)
+
+target_link_libraries(ProcessManager
+  sel4runtime sel4
+  muslc utils sel4muslcsys sel4platsupport sel4utils sel4debug)
+
+include(rootserver)
+DeclareRootserver(ProcessManager)
+
+include(simulation)
+GenerateSimulateScript()

src/main.c

@@ -0,0 +1,7 @@
+#include <stdio.h>
+
+int main(int argc, char *argv[]) {
+    printf("Hello, World!\n");
+
+    return 0;
+}