This repository contains the L4/Fiasco-specific implementation of Genode.