Fabiano Rosas

No description provided.

Formal model of the 802.11 DCF using UPPAAL

Arch Linux thin-client server

My .emacs.d

Lowlevel tests for the QEMU PowerNV machines

Run boot tests on each PPC machines supported in QEMU

seabios submodule for qemu

buildroot mirror

Mirror of git.qemu.org/openbios.git

Emacs client for ccls, a C/C++ language server

CI repository

Kubernetes Virtualization API and runtime in order to define and manage virtual machines.

Linux kernel source tree

No description provided.

Desktop tool for managing virtual machines via libvirt

QEMU fork

Avocado Test Framework

Python library used to control interactive programs

OpenPOWER Host OS release notes web page

PULL REQUESTS ARE IGNORED. Automatic read-only mirror of http://libvirt.org/git/?p=libvirt.git;a=summary

OpenPOWER Host OS builds repository

OpenPOWER Host OS Build Verification Tests

Avocado VT Plugin

:tropical_fish: Beats - Lightweight shippers for Elasticsearch & Logstash

No description provided.

No description provided.

Infrastructure as code for Open Power HostOS

Image building tools for OpenStack

Ansible roles and playbooks to enable a standalone Ironic install

Docker - the open-source application container engine