requires: stdlibs libstdc++ cxx_libc_io cxx_io l4virtio
Maintainer: adam@os.inf.tu-dresden.de
