Pinned Loading

1. RaspberryPiPkg RaspberryPiPkg Public

   DEPRECATED - DO NOT USE | Go here instead ->

   C 741 138

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

   Exploration of Apple/Connectix PowerPC VMM monitor interface

   C 8 1

3. intel/MultiArchUefiPkg intel/MultiArchUefiPkg Public archive

   Multi-Architecture UEFI Environment Driver

   C 65 20

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…

   Makefile 38 16

5. intel/FdtBusPkg intel/FdtBusPkg Public archive

   Device Tree-based Platform Device Driver Development for Tiano UEFI

   C 17 4

6. iQUIK iQUIK Public

   An OldWorld PowerPC Linux bootloader for the 21st century

   C 43 5