summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2009-05-19 11:15:58 +0200
committerThomas Schwinge <tschwinge@gnu.org>2009-05-19 11:15:58 +0200
commit9a504117097495928a2a83884bb40438baa2321a (patch)
treebc945e4b7f71b8ef6d9972e4746d39b18e46ea17 /microkernel/mach/gnumach
parent98af3eee371766914b053a5011b4830ac358f477 (diff)
Mach issues.
Diffstat (limited to 'microkernel/mach/gnumach')
-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
3 files changed, 1 insertions, 41 deletions
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