Pinned

1. sv3 Public

   A userspace software-switch including Intel 82599 10G NIC driver

   C++ 8 2

2. seoul Public

   Forked from TUD-OS/seoul

   A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.

   C++

3. slashem Public

   Super Lotsa Added Stuff Hack - Extended Magic

   C 1 1

4. seabios Public

   Forked from coreboot/seabios

   mirror of seabios

   C

5. baresifter Public

   A bare-metal x86 instruction set fuzzer a la Sandsifter

   C++ 40 4

6. bender Public

   A multiboot chainloader that makes PCI serial cards available for legacy use

   C 3