]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/l4re_kernel/Control
projects / l4.git / blob
? search:


89759de902755281463f00107d4066aa1c97eb72
[l4.git] / l4 / pkg / l4re_kernel / Control
1 requires: stdlibs libloader
2 maintainer: warg@os.inf.tu-dresden.de