summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach.mdwn2
-rw-r--r--microkernel/mach/gnumach/open_issues.mdwn21
-rw-r--r--microkernel/mach/gnumach/open_issues/resource_management_problems.mdwn19
-rw-r--r--microkernel/mach/gnumach/projects.mdwn2
4 files changed, 2 insertions, 42 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 8c42d1e8..f3d6d5f9 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -77,4 +77,4 @@ GNU/Hurd.
* [[Boot_Trace]]
* [[Projects]]
* [[Rules]]
- * [[Open_Issues]]
+ * [[Open Issues|tag/open_issue_gnumach]]
diff --git a/microkernel/mach/gnumach/open_issues.mdwn b/microkernel/mach/gnumach/open_issues.mdwn
deleted file mode 100644
index 0aa4f4c8..00000000
--- a/microkernel/mach/gnumach/open_issues.mdwn
+++ /dev/null
@@ -1,21 +0,0 @@
-[[!meta copyright="Copyright © 2008, 2009 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
-document under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no Invariant
-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]]."]]"""]]
-
-[[!meta title="Open Issues"]]
-
-This is a dumping ground for open issues for GNU Mach.
-
-[[!inline
-pages="(microkernel/mach/gnumach/open_issues/* or tagged(open_issue_*mach))
-and !open_issues and !*/discussion"
-show=0
-feeds=no
-actions=yes
-rootpage="microkernel/mach/gnumach/open_issues" postformtext="Add a new item titled:"]]
diff --git a/microkernel/mach/gnumach/open_issues/resource_management_problems.mdwn b/microkernel/mach/gnumach/open_issues/resource_management_problems.mdwn
deleted file mode 100644
index 96028896..00000000
--- a/microkernel/mach/gnumach/open_issues/resource_management_problems.mdwn
+++ /dev/null
@@ -1,19 +0,0 @@
-[[!meta copyright="Copyright © 2008, 2009 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
-document under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no Invariant
-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]]."]]"""]]
-
-[[Mach]] interfaces do not allow for proper resource accounting, when a server
-allocates resources on behalf of a client.
-
-Mach can't do a good job at resource management, as it doesn't have enough
-information how resources are used: which data is important and which is
-discardable, for example.
-
-These issues are what Neal Walfield is working on with his new kernel
-[[viengoos]].
diff --git a/microkernel/mach/gnumach/projects.mdwn b/microkernel/mach/gnumach/projects.mdwn
index bd13802c..47a2756c 100644
--- a/microkernel/mach/gnumach/projects.mdwn
+++ b/microkernel/mach/gnumach/projects.mdwn
@@ -33,7 +33,7 @@ so that no duplicate efforts end up.
* [[Clean_up_the_code]]
- * [[Open_Issues]]
+ * [[Open Issues|tag/open_issue_gnumach]]
* Update the core architecture and drivers