caprese

There are 3 repositories under caprese topic.

caprese-project/caprese
Caprese is a microkernel that protects resources with capability-based security.
Language:C++17 1 00
caprese-project/libc
Standard C/C++ library template
Language:C++11 1 00
caprese-project/sample-os
A sample operating system utilizing the Caprese microkernel. Use this as a reference to develop your own operating system powered by Caprese.
Language:C++2 0 00