first commit

Signed-off-by: Ooops_t <[email protected]>

.gitignore

@@ -0,0 +1,3 @@
+build/
+build-*/
+.sel4_cache/

.gitmodules

@@ -0,0 +1,18 @@
+[submodule "kernel"]
+	path = kernel
+	url = https://github.com/seL4/seL4.git
+[submodule "projects/sel4runtime"]
+	path = projects/sel4runtime
+	url = https://github.com/seL4/sel4runtime.git
+[submodule "projects/util_libs"]
+	path = projects/util_libs
+	url = https://github.com/seL4/util_libs.git
+[submodule "projects/seL4_libs"]
+	path = projects/seL4_libs
+	url = https://github.com/seL4/seL4_libs.git
+[submodule "projects/musllibc"]
+	path = projects/musllibc
+	url = https://github.com/seL4/musllibc.git
+[submodule "tools/seL4"]
+	path = tools/seL4
+	url = https://github.com/seL4/seL4_tools.git

easy-settings.cmake

@@ -0,0 +1 @@
+projects/hello/easy-settings.cmake

init-build.sh

@@ -0,0 +1 @@
+tools/seL4/cmake-tool/init-build.sh

projects/hello/CMakeLists.txt

@@ -0,0 +1,25 @@
+cmake_minimum_required(VERSION 3.7.2)
+
+project(helloworld C CXX ASM) # create a new C project called 'Hello' 
+
+include(settings.cmake)
+
+# We must build the debug kernel because the tutorials rely on seL4_DebugPutChar
+# and they don't initialize a platsupport driver.
+ApplyCommonReleaseVerificationSettings(FALSE FALSE)
+
+add_executable(helloworld src/main.c) # add files to our project. Paths are relative to this file.
+
+target_link_libraries(helloworld sel4muslcsys  muslc) # we need to link against the standard C lib for printf
+
+# Set this image as the rootserver
+DeclareRootserver(helloworld)
+
+if(SIMULATION)
+        ApplyCommonSimulationSettings(${KernelSel4Arch})
+        GenerateSimulateScript()
+else()
+        if(KernelArchX86)
+                set(KernelIOMMU ON CACHE BOOL "" FORCE)
+        endif()
+endif()

projects/hello/easy-settings.cmake

@@ -0,0 +1 @@
+set(SIMULATION ON CACHE BOOL "Include only simulation compatible tests")

projects/hello/settings.cmake

@@ -0,0 +1,45 @@
+cmake_minimum_required(VERSION 3.7.2)
+
+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(SEL4_CONFIG_DEFAULT_ADVANCED ON)
+if(SIMULATION)
+	include(simulation)
+endif()
+include(rootserver)
+include(application_settings)
+include(${CMAKE_CURRENT_LIST_DIR}/easy-settings.cmake)
+
+correct_platform_strings()
+
+find_package(seL4 REQUIRED)
+find_package(musllibc REQUIRED)
+find_package(util_libs REQUIRED)
+find_package(seL4_libs REQUIRED)
+find_package(elfloader-tool REQUIRED)
+
+# Platform config
+sel4_configure_platform_settings()
+
+# Import kernel, elfloader
+sel4_import_kernel()
+elfloader_import_project()
+
+# Import libraries
+sel4_import_libsel4()
+util_libs_import_libraries()
+sel4_libs_import_libraries()
+
+# Set up environment build flags and imports musllibc and runtime libraries
+musllibc_setup_build_environment_with_sel4runtime()
+

projects/hello/src/main.c

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