Name | Description | Contact | Last change | ||
---|---|---|---|---|---|
OLD/ | 15 months ago | ||||
departure | Filesystem components for the L4 Runtime Environment | Paul Boddie <paul@boddie.org.uk> | 2 weeks ago | zip gz bz2 | RSS Atom |
idl4re | Interface description language tool for L4Re | Paul Boddie <paul@boddie.org.uk> | 2 months ago | zip gz bz2 | RSS Atom |