diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-19 18:07:35 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-19 18:07:35 +0200 |
| commit | d01725cb2611f0142fa5b125cd4837d4bf83b480 (patch) | |
| tree | fde686df72149f356ad56163246d6b1339247f41 /open_issues/resource_management_problems.mdwn | |
| parent | 7bc2ca63c12dfebde2a427070b55045e08a3d016 (diff) | |
| download | web-d01725cb2611f0142fa5b125cd4837d4bf83b480.tar.gz web-d01725cb2611f0142fa5b125cd4837d4bf83b480.tar.bz2 web-d01725cb2611f0142fa5b125cd4837d4bf83b480.zip | |
Repair some wikilinks.
Diffstat (limited to 'open_issues/resource_management_problems.mdwn')
| -rw-r--r-- | open_issues/resource_management_problems.mdwn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/open_issues/resource_management_problems.mdwn b/open_issues/resource_management_problems.mdwn index 42515897..57c6bdbf 100644 --- a/open_issues/resource_management_problems.mdwn +++ b/open_issues/resource_management_problems.mdwn @@ -10,12 +10,12 @@ is included in the section entitled [[!tag open_issue_gnumach open_issue_hurd open_issue_viengoos]] -[[Mach]] interfaces do not allow for proper resource accounting, when a server -allocates resources on behalf of a client. +[[microkernel/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]]. +[[microkernel/viengoos]]. |