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