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