commit 5007f2c48c3c9b92abd27d965c5b4be572bf42e8
Author: June Tate-Gans <june@theonelab.com>
Date:   Thu Aug 13 16:54:26 2020 -0500

    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

diff --git a/CMakeLists.txt b/CMakeLists.txt
new file mode 100644
index 0000000..c58cc51
--- /dev/null
+++ b/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()
diff --git a/src/main.c b/src/main.c
new file mode 100644
index 0000000..6c82875
--- /dev/null
+++ b/src/main.c
@@ -0,0 +1,7 @@
+#include <stdio.h>
+
+int main(int argc, char *argv[]) {
+    printf("Hello, World!\n");
+
+    return 0;
+}