diff options
| author | pjrm <pjrm@web> | 2008-09-22 05:44:55 +0000 |
|---|---|---|
| committer | GNU Hurd wiki engine <web-hurd@gnu.org> | 2008-09-22 05:44:55 +0000 |
| commit | 3b44aa0aa790cc501f15308f4d5b86c97f0ab0b6 (patch) | |
| tree | 89b02d4a1972d3afcecc65e11f2874c1366777bb /microkernel/mach | |
| parent | bb896d18594fe9f3176fe9b5cc12bd841794ffdd (diff) | |
Add link to L4 verification. (Feel free to move to a better page, e.g. up a level once it has some other text.)
Diffstat (limited to 'microkernel/mach')
0 files changed, 0 insertions, 0 deletions