diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 22:14:29 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 22:14:29 +0200 |
| commit | 80af51ad8c2b60abd1295f7209c2a8099211c899 (patch) | |
| tree | 7f27aa87cc29f330d01927e62d401db42ef231bd /NextHurd/ChoiceOfMicrokernel.mdwn | |
| parent | ae128d097693da524c4a35d42fdc39b8d8b557dd (diff) | |
Move the NextHurd files to where they belong.
Diffstat (limited to 'NextHurd/ChoiceOfMicrokernel.mdwn')
| -rw-r--r-- | NextHurd/ChoiceOfMicrokernel.mdwn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/NextHurd/ChoiceOfMicrokernel.mdwn b/NextHurd/ChoiceOfMicrokernel.mdwn new file mode 100644 index 00000000..20ee6f05 --- /dev/null +++ b/NextHurd/ChoiceOfMicrokernel.mdwn @@ -0,0 +1,4 @@ +TBD + +* [[MicrokernelL4]] +* [[MicrokernelCoyotos]] |