provides: libvcpu
requires: l4re-util libc
maintainer: adam@os.inf.tu-dresden.de
