diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-09-09 10:10:50 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-09-09 10:10:50 +0200 |
| commit | 27d0672395f8f9121733e1e8cdddfa3f0717ef1d (patch) | |
| tree | 759f6e269d0cc7441c8012b6920413d5b312b633 /microkernel/mach/memory_object | |
| parent | 4374d7d8af3c8c928b6730ae2c09473ff7855b29 (diff) | |
Link.
Diffstat (limited to 'microkernel/mach/memory_object')
| -rw-r--r-- | microkernel/mach/memory_object/discussion.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/microkernel/mach/memory_object/discussion.mdwn b/microkernel/mach/memory_object/discussion.mdwn index c874b255..a2a1514b 100644 --- a/microkernel/mach/memory_object/discussion.mdwn +++ b/microkernel/mach/memory_object/discussion.mdwn @@ -63,3 +63,5 @@ IRC, freenode, #hurd, 2011-09-05: pagers, the folks at OSF implemented an "advisory pageout", so servers are "warned" that they should start paging out, and can decide which pages are going to be flushed by themselves + +[[open_issues/resource_management_problems]]. |