Popular repositories Loading

1. minix minix Public

   Forked from Stichting-MINIX-Research-Foundation/minix

   Official MINIX sources - Automatically replicated from gerrit.minix3.org

   C 5

2. rumprun rumprun Public

   Forked from rumpkernel/rumprun

   The Rumprun unikernel and toolchain for various platforms

   C

3. src src Public

   Forked from NetBSD/src

   Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org

   C

4. pistachio pistachio Public

   Forked from l4ka/pistachio

   L4Ka::Pistachio micro-kernel

   C++

5. buildrump.sh buildrump.sh Public

   Forked from rumpkernel/buildrump.sh

   Utilities for building rump kernels

   C