From 1dc28d745d45be6764072af1da0ceda52a0c17a3 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Tue, 17 Apr 2012 00:16:32 +0200 Subject: IRC. --- faq/how_many_developers/discussion.mdwn | 6 +++++- faq/which_microkernel/discussion.mdwn | 32 +++++++++++++++++++++++++++++--- 2 files changed, 34 insertions(+), 4 deletions(-) (limited to 'faq') diff --git a/faq/how_many_developers/discussion.mdwn b/faq/how_many_developers/discussion.mdwn index 6ca47c9a..8e4c487a 100644 --- a/faq/how_many_developers/discussion.mdwn +++ b/faq/how_many_developers/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 @@ -8,6 +8,7 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled [[GNU Free Documentation License|/fdl]]."]]"""]] + # IRC, freenode, #hurd, 2011-05-22 Since apparently Hurd's aim is a very stable and transparent @@ -59,3 +60,6 @@ License|/fdl]]."]]"""]] the Hurd doesn't almost work for anyone actually, you should probably reread the whole paper. it's essentially an analysis why the Hurd failed compared to Linux + + +# [[open_issues/mission_statement]] 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 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 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 ;-) ) 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 + + did people consider to port Hurd to Darwin? i.e. replace GNU Mach + with Darwin? + no + well, quickly only + wouldn't it be a reasonable idea? + after all, Darwin is production-ready and contains a Mach side. + not more than fixing gnumach itself, or using linux instead + well. + those implementations have diverged with time + i see + the fsf should pay people for fixing gnu mach then. :) + 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 + 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... -- cgit v1.2.3