]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/libvcpu/Control
projects / l4.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
update
[l4.git] / l4 / pkg / libvcpu / Control
1 provides: libvcpu
2 requires: l4sys libc
3 maintainer: adam@os.inf.tu-dresden.de