Pinned Loading

1. manifest manifest Public

   The main L4Re manifest to checkout the L4Re operating system.

   21 11

2. fiasco fiasco Public

   The development version of the L4Re Microkernel

   C++ 163 43

3. uvmm uvmm Public

   Virtual machine monitor for L4Re

   C++ 36 8