Pinned Loading

1. SeL4_CPIO SeL4_CPIO Public

   Create a simple SeL4 Project with a CPIO archive

   C 1

2. SeL4_101 SeL4_101 Public

   How to create a Hello World seL4 project from scratch

   CMake 3 3

3. VisualKit VisualKit Public

   C++ 3

4. GX GX Public

   Graphic compositor

   C 2

5. Sofa Sofa Public

   Operating System built on top of the seL4 microkernel.

   C 8 1

6. libACPI libACPI Public

   C Library for parsing ACPI tables and AML byte code

   C++ 5 1