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