requires: stdlibs libstdc++ libpthread libio-vbus libfdt l4virtio libloader libvcpu
maintainer: alexander.warg@kernkonzept.com adam@l4re.org
