Pinned Loading

1. caprese caprese Public

   Caprese is a microkernel that protects resources with capability-based security.

   C++ 18

2. sample-os sample-os Public

   A sample operating system utilizing the Caprese microkernel. Use this as a reference to develop your own operating system powered by Caprese.

   C++ 2

3. libc libc Public

   Standard C/C++ library template

   C++ 11

4. libcaprese libcaprese Public

   C