diff options
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]]. |