Pinned

1. zambesii zambesii Public

   Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully asynchronous and the kernel is aimed at high-scaling, high-th…

   C++ 15 3

2. seL4 seL4 Public

   Forked from seL4/seL4

   The seL4 microkernel

   C 1

3. zudi zudi Public

   Zambesii UDI environment miscellany. Various sub-components of the environment that are not part of the kernel itself, including the udiprops compiler.

   C 1 1

4. work-experience-kernel work-experience-kernel Public

   Work Experience OS Kernel repository -- a simple IA-32 OS kernel meant to be used to teach students basic Embedded Engineering concepts in a practical manner, and give them something to work with t…

   C

5. Harikoff Harikoff Public

   Harriman-Peikoff AI. An attempt to write an AI using the theory of induction formulated by Leonard Peikoff in concert with Dave Harriman.