Pinned

1. ppc64le_hello Public

   ``Hello World'' for a Little-Endian OpenPower world (freestanding)

   C 16 2

2. iQUIK Public

   An OldWorld PowerPC Linux bootloader for the 21st century

   C 26 3

3. ppc64le-edk2 Public

   TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)

   C 15 7

4. HPFS Public

   Host Profile File System

   C 3 2

5. RaspberryPiPkg Public

   DEPRECATED - DO NOT USE | Go here instead ->

   C 749 149

6. vmachmon-toy-hv Public

   Exploration of Apple/Connectix PowerPC VMM monitor interface

   C 3