Automate the deployment of Red Hat OpenShift Container Platform on IBM zSystems (s390x). Automated User-Provisoned Infrastructure (UPI) setup using Kernel-based Virtual Machine (KVM).

Define and manage guests and networks on a KVM host with Ansible

A tiny Open POWER ISA softcore written in VHDL 2008

Various Dockerfiles I use on the desktop and on servers.

A virtual BMC for controlling virtual machines with IPMI commands

Condorcet Internet Voting System

Suite of utilities for Linux on Power systems

DEPRECATED (moved to gitlab)

Clone/Fetch All openstack repos

PPC machines and Aspeed machines for QEMU

Linux kernel source tree

My personal branch. See https://github.com/linuxppc/linux for the mirror of the powerpc tree.

Official QEMU mirror

Linux kernel source tree

OPAL boot and runtime firmware for POWER