requires: libc_minimal crtn l4sys l4util libsigma0 cxx_io
Maintainer: warg@os.inf.tu-dresden.de