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