Pinned Loading

1. RaspberryPiPkg RaspberryPiPkg Public

   DEPRECATED - DO NOT USE | Go here instead ->

   C 745 143

2. vmachmon-toy-hv vmachmon-toy-hv Public

   Exploration of Apple/Connectix PowerPC VMM monitor interface

   C 5 1

3. intel/MultiArchUefiPkg intel/MultiArchUefiPkg Public archive

   Multi-Architecture UEFI Environment Driver

   C 59 15

4. riscv-non-isa/riscv-server-platform riscv-non-isa/riscv-server-platform Public

   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 19 13

5. intel/FdtBusPkg intel/FdtBusPkg Public archive

   Device Tree-based Platform Device Driver Development for Tiano UEFI

   C 14 4

6. iQUIK iQUIK Public

   An OldWorld PowerPC Linux bootloader for the 21st century

   C 36 4