Pinned Loading

1. awesome-littlekernel awesome-littlekernel Public

   Forked from milisarge/awesome-littlekernel

   A list about Little Kernel

2. LK LK Public

   Forked from littlekernel/lk

   LK embedded kernel

   C

3. L4ReCoreComponents L4ReCoreComponents Public

   Forked from kernkonzept/l4re-core

   The core components of the L4Re operating system.

   C++

4. fiasco fiasco Public

   Forked from kernkonzept/fiasco

   The development version of the L4Re Microkernel

   C++

5. uniOS uniOS Public

   Forked from unionyxx/uniOS

   A scratch-built x86-64 operating system kernel written in C++20.

   C++

6. NeptuneOS NeptuneOS Public

   Forked from cl91/NeptuneOS

   Neptune OS: A Windows NT personality for the seL4 microkernel

   C