From ae128d097693da524c4a35d42fdc39b8d8b557dd Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 12 Aug 2007 22:04:30 +0200 Subject: Groups the items on the sidebar nicely and make `NextHurd' a top-level item. --- HowToContributeToThisWiki.mdwn | 6 ++-- Hurd/NextHurd.mdwn | 82 ------------------------------------------ Main/SamMason.mdwn | 2 +- NextHurd.mdwn | 82 ++++++++++++++++++++++++++++++++++++++++++ sidebar.mdwn | 18 +++++++--- 5 files changed, 100 insertions(+), 90 deletions(-) delete mode 100644 Hurd/NextHurd.mdwn create mode 100644 NextHurd.mdwn diff --git a/HowToContributeToThisWiki.mdwn b/HowToContributeToThisWiki.mdwn index 7245aa8d..f459c67b 100644 --- a/HowToContributeToThisWiki.mdwn +++ b/HowToContributeToThisWiki.mdwn @@ -76,10 +76,10 @@ hold of the latest changes others have been installing in the mean time. But now: work on these files. $ cd wiki/ - $ emacs Hurd/NextHurd.mdwn + $ emacs NextHurd.mdwn $ # Check what you've done. - $ git diff Hurd/NextHurd.mdwn - $ git commit Hurd/NextHurd.mdwn + $ git diff NextHurd.mdwn + $ git commit NextHurd.mdwn [...] $ # Add a new file. $ emacs Hurd/DesignGoals.mdwn diff --git a/Hurd/NextHurd.mdwn b/Hurd/NextHurd.mdwn deleted file mode 100644 index 448214d4..00000000 --- a/Hurd/NextHurd.mdwn +++ /dev/null @@ -1,82 +0,0 @@ -# Next Hurd - -There is an effort to create a completely new system design (for now called ngHurd, or Hurd-ng or HurdNG), which originated from the Hurd/L4 port. - -The original Hurd/L4, which was meant to be mostly a direct port of the existing Hurd design to a new microkernel, has been abandoned by it's main developers, because some technical issues with the L4 Pistachio kernel turned out to be very fundamental. While reeveluating the design (and upcoming new L4 variants), the developers picked up some new ideas, and decided that now they rather want to work on a completely different design, which combines some of the original Hurd ideas with concepts from Jonathan Shapiro's high security EROS and Coyotos systems. - -There has been numerous endless discussions on the l4-hurd mailing list about these new ideas. This page tries to sum up the major discussions. - -## Why ngHurd - -This section explains the motivations behind the new design: - -* [[IssuesWithMach]] -* [[IssuesWithL4Pistachio]] -* [[LimitationsOfOriginalHurdDesign]] - -## Work already done - -A [position paper](http://walfield.org/papers/20070104-walfield-access-decomposition-policy-refinement.pdf) by Marcus Brinkmann and Neal H. Walfield can be found. - -A draft specification of the Hurd-NG interfaces has been, but is no longer, available. - -A [critique](http://walfield.org/papers/20070111-walfield-critique-of-the-GNU-Hurd.pdf) of the original Hurd is available. - -## Subjects - -### Design processus - -* [[DesignGoals]] -* [[RequirementsForUser]] -* [[DesignPrinciples]] -* [[Philosophy]] - -### Concepts - -* [[CapabilityBasedMicrokernel]] -* [[FirstClassReceiveBuffer]] -* [[PowerBox]] -* [[WhatIsACapability]] -* [[WhatIsAConstructor]] -* [[WhatIsASpacebank]] -* [[TrivialConfinementVsConstructorVsFork]] -* [[CopyVsRevocableCopyVsMap]] -* [[SetuidVsConstructor]] -* [[HurdishApplicationsForPersistence]] -* [[WhatsInAGroup]] -* [[ThePolycastInterface]] -* [[PermissionBits]] -* [[CancellationForwarding]] - -### Problems to solve - -* [[HowMuchConfinementDoWeWant]] -* [[SharedLibraries]] -* [[PathMax]] - -### Implementation - -* [[ChoiceOfMicrokernel]] -* [[HurdInterafaces]] -* [[PosixLayer]] -* [[SystemStructure]] - -### Use Cases - -_please move me somewhere better! [[SamMason]]_ - -* [[UseCaseUserFileSystem]] -* [[UseCasePrivateKeys]] - -### Organization - -Summaries should obey the following structure: - -* if there is a consensus, it is clearly described -* if controversial points remain, there are also described after the consenus -* if no choice has been clearly made, all valid positions are descrbied -* withdrawed and invalid positions (prooved wrong, unrealistic, contradictory to some design principle, etc.) should be described only very briefly, and developed in a separate article - -Each time a point seems to be overly long with respect to the rest of the article, it should be summarized in place and developed in a separate article. - --- [[Main/NowhereMan]] - 21 Apr 2006 diff --git a/Main/SamMason.mdwn b/Main/SamMason.mdwn index 7ebca1b8..d2572a55 100644 --- a/Main/SamMason.mdwn +++ b/Main/SamMason.mdwn @@ -2,7 +2,7 @@ * Email: * Web: * Country: United Kingdom -* Comment: Coming in from the hurd-l4 / [[Hurd/NextHurd]] project +* Comment: Coming in from the hurd-l4 / [[NextHurd]] project # Notes about the Hurd diff --git a/NextHurd.mdwn b/NextHurd.mdwn new file mode 100644 index 00000000..448214d4 --- /dev/null +++ b/NextHurd.mdwn @@ -0,0 +1,82 @@ +# Next Hurd + +There is an effort to create a completely new system design (for now called ngHurd, or Hurd-ng or HurdNG), which originated from the Hurd/L4 port. + +The original Hurd/L4, which was meant to be mostly a direct port of the existing Hurd design to a new microkernel, has been abandoned by it's main developers, because some technical issues with the L4 Pistachio kernel turned out to be very fundamental. While reeveluating the design (and upcoming new L4 variants), the developers picked up some new ideas, and decided that now they rather want to work on a completely different design, which combines some of the original Hurd ideas with concepts from Jonathan Shapiro's high security EROS and Coyotos systems. + +There has been numerous endless discussions on the l4-hurd mailing list about these new ideas. This page tries to sum up the major discussions. + +## Why ngHurd + +This section explains the motivations behind the new design: + +* [[IssuesWithMach]] +* [[IssuesWithL4Pistachio]] +* [[LimitationsOfOriginalHurdDesign]] + +## Work already done + +A [position paper](http://walfield.org/papers/20070104-walfield-access-decomposition-policy-refinement.pdf) by Marcus Brinkmann and Neal H. Walfield can be found. + +A draft specification of the Hurd-NG interfaces has been, but is no longer, available. + +A [critique](http://walfield.org/papers/20070111-walfield-critique-of-the-GNU-Hurd.pdf) of the original Hurd is available. + +## Subjects + +### Design processus + +* [[DesignGoals]] +* [[RequirementsForUser]] +* [[DesignPrinciples]] +* [[Philosophy]] + +### Concepts + +* [[CapabilityBasedMicrokernel]] +* [[FirstClassReceiveBuffer]] +* [[PowerBox]] +* [[WhatIsACapability]] +* [[WhatIsAConstructor]] +* [[WhatIsASpacebank]] +* [[TrivialConfinementVsConstructorVsFork]] +* [[CopyVsRevocableCopyVsMap]] +* [[SetuidVsConstructor]] +* [[HurdishApplicationsForPersistence]] +* [[WhatsInAGroup]] +* [[ThePolycastInterface]] +* [[PermissionBits]] +* [[CancellationForwarding]] + +### Problems to solve + +* [[HowMuchConfinementDoWeWant]] +* [[SharedLibraries]] +* [[PathMax]] + +### Implementation + +* [[ChoiceOfMicrokernel]] +* [[HurdInterafaces]] +* [[PosixLayer]] +* [[SystemStructure]] + +### Use Cases + +_please move me somewhere better! [[SamMason]]_ + +* [[UseCaseUserFileSystem]] +* [[UseCasePrivateKeys]] + +### Organization + +Summaries should obey the following structure: + +* if there is a consensus, it is clearly described +* if controversial points remain, there are also described after the consenus +* if no choice has been clearly made, all valid positions are descrbied +* withdrawed and invalid positions (prooved wrong, unrealistic, contradictory to some design principle, etc.) should be described only very briefly, and developed in a separate article + +Each time a point seems to be overly long with respect to the rest of the article, it should be summarized in place and developed in a separate article. + +-- [[Main/NowhereMan]] - 21 Apr 2006 diff --git a/sidebar.mdwn b/sidebar.mdwn index 34fecd4d..cf07d7c2 100644 --- a/sidebar.mdwn +++ b/sidebar.mdwn @@ -1,8 +1,18 @@ * **[[Home|/index]]** -* **[[Hurd]]** +* **[[Hurd_User_Groups|Hug]]** +* **[[Main]]** + +--- + * **[[Distrib]]** -* **[[Mach]]** * **[[GNU]]** + +--- + +* **[[Hurd]]** +* **[[Mach]]** * **[[Mig]]** -* **[[Hurd_User_Groups|Hug]]** -* **[[Main]]** + +--- + +* **[[NextHurd]]** -- cgit v1.2.3