1requires: l4re-util libc_minimal libsupc++_minimal libloader
2          libc_be_minimal_log_io libc_minimal_l4re
3maintainer: warg@os.inf.tu-dresden.de
4