- rpi-open-firmware 219 Open source VPU side bootloader for Raspberry Pi.
- LLVM-VideoCore4 101 LLVM for VideoCore4 (Raspberry Pi VPU)
- libSystem_and_linker 10 Linker, libSystem and other stuff for Magenta.
- Passenger 9 An example mach-o kernel extension as well as a libkern demo.
- kernel_diff 7 Diff file that needs to be applied to a 2.6.37 Linux kernel.