requires: l4re l4sys libc_minimal libsupc++_minimal libsigma0 libloader libkproxy
          libc_be_minimal_log_io
maintainer: adam@os.inf.tu-dresden.de warg@os.inf.tu-dresden.de
