summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-10-07 20:46:00 +0200
committerThomas Schwinge <tschwinge@gnu.org>2008-10-07 20:46:00 +0200
commitfae1aac969d5648bec6af1e6b6d01aca006d8937 (patch)
tree2c2661afd02ae03531695c13538a08cf940a01d9 /microkernel
parent47914828300b5643e95ea879a16d5c7d4496093a (diff)
Link to ``Examining the Legendary HURD Kernel'' by David Chisnall.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions