Pinned

1. RaspberryPiPkg RaspberryPiPkg Public

   DEPRECATED - DO NOT USE | Go here instead ->

   C 746 143

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

   Exploration of Apple/Connectix PowerPC VMM monitor interface

   C 5

3. intel/MultiArchUefiPkg intel/MultiArchUefiPkg Public

   Multi-Architecture UEFI Environment Driver

   C 47 9

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 4 1

5. intel/FdtBusPkg intel/FdtBusPkg Public

   Device Tree-based Platform Device Driver Development for Tiano UEFI

   C 9

6. iQUIK iQUIK Public

   An OldWorld PowerPC Linux bootloader for the 21st century

   C 31 3