PinnedLoading

1. RaspberryPiPkgRaspberryPiPkgPublic

   DEPRECATED - DO NOT USE | Go here instead ->

   C 746 142

2. vmachmon-toy-hvvmachmon-toy-hvPublic

   Exploration of Apple/Connectix PowerPC VMM monitor interface

   C 6 1

3. intel/MultiArchUefiPkgintel/MultiArchUefiPkgPublic archive

   Multi-Architecture UEFI Environment Driver

   C 62 16

4. riscv-non-isa/riscv-server-platformriscv-non-isa/riscv-server-platformPublic

   The RISC-V Server Platform specification defines a standardized set of hardware and sofware capabilities, that portable system software, such as operating systems and hypervisors, can rely on being…

   TeX 24 14

5. intel/FdtBusPkgintel/FdtBusPkgPublic archive

   Device Tree-based Platform Device Driver Development for Tiano UEFI

   C 16 4

6. iQUIKiQUIKPublic

   An OldWorld PowerPC Linux bootloader for the 21st century

   C 38 4