diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-05-15 21:30:24 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-05-15 21:30:24 +0200 |
| commit | 71c15b7ccd7761a655cf2a08e36527de828813ae (patch) | |
| tree | 14012c262e38be3354fee591be3de3744187b92b /faq/which_microkernel | |
| parent | 18832c3c597140009c2585645a1209a5ed2aa691 (diff) | |
| parent | f8d0a635dc44ad5c0f375f45939ce418acaa0a49 (diff) | |
| download | web-71c15b7ccd7761a655cf2a08e36527de828813ae.tar.gz web-71c15b7ccd7761a655cf2a08e36527de828813ae.tar.bz2 web-71c15b7ccd7761a655cf2a08e36527de828813ae.zip | |
Merge branch 'master' of flubber:~hurd-web/hurd-web
Diffstat (limited to 'faq/which_microkernel')
| -rw-r--r-- | faq/which_microkernel/discussion.mdwn | 32 |
1 files changed, 29 insertions, 3 deletions
diff --git a/faq/which_microkernel/discussion.mdwn b/faq/which_microkernel/discussion.mdwn index 7ea131e9..ffdc6720 100644 --- a/faq/which_microkernel/discussion.mdwn +++ b/faq/which_microkernel/discussion.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2011, 2012 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="Permission is granted to copy, distribute and/or modify this @@ -50,13 +50,15 @@ All in all, I still think my text was better. If you have any conerns with it, please discuss them... -# IRC, freenode, #hurd, 2011-09-27 +# seL4 + +## IRC, freenode, #hurd, 2011-09-27 <cjuner> Does anyone remember/know if/why not seL4 was considered for hurd-l4? Is anyone aware of any differences between seL4 and coyotos? -## 2011-09-28 +## IRC, freenode, #hurd, 2011-09-29 <antrik> cjuner: the seL4 project was only at the beginning when the decision was made. so was Coyotos, but Shapiro promised back then that @@ -92,3 +94,27 @@ please discuss them... matters to take away anything useful from more detail ;-) ) <antrik> I could try to explain the issues I mentioned for Coyotos (as far as I understand them), but would that really help you? + + +# Xnu (Darwin) + + +## IRC, freenode, #hurd, 2012-03-30 + + <mel__> did people consider to port Hurd to Darwin? i.e. replace GNU Mach + with Darwin? + <braunr> no + <braunr> well, quickly only + <mel__> wouldn't it be a reasonable idea? + <mel__> after all, Darwin is production-ready and contains a Mach side. + <braunr> not more than fixing gnumach itself, or using linux instead + <mel__> well. + <braunr> those implementations have diverged with time + <mel__> i see + <mel__> the fsf should pay people for fixing gnu mach then. :) + <antrik> mel__: indeed someone consided Xnu (the actual kernel of Darwin) a + while back; but I think he shelved the idea again. not sure about the + exact reasons + <antrik> Xnu implements a few improvements that might be helpful; but it + doesn't address the really fundamental issues that matter for a true + multiserver system... |