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