requires: stdlibs libstdc++ libpthread libio-vbus libfdt l4virtio libloader
optional: readline acpica zlib rtc libmbox-bcm2835
variants: nofpu[server/src]
maintainer: alexander.warg@kernkonzept.com adam@l4re.org
