diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-02-17 14:15:11 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-02-17 14:15:11 +0100 |
| commit | bdd896e0b81cfb40c8d24a78f9022f6cd1ae5e8c (patch) | |
| tree | b910b9f770f08a7f0bc5951025db358f03dfffd7 /microkernel/mach/memory_object.mdwn | |
| parent | 5aef0778f741625959e4d474cac3e6c783c78175 (diff) | |
| download | web-bdd896e0b81cfb40c8d24a78f9022f6cd1ae5e8c.tar.gz web-bdd896e0b81cfb40c8d24a78f9022f6cd1ae5e8c.tar.bz2 web-bdd896e0b81cfb40c8d24a78f9022f6cd1ae5e8c.zip | |
open_issues/performance/io_system/clustered_page_faults: New. And some more IRC discussions.
Diffstat (limited to 'microkernel/mach/memory_object.mdwn')
| -rw-r--r-- | microkernel/mach/memory_object.mdwn | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/microkernel/mach/memory_object.mdwn b/microkernel/mach/memory_object.mdwn index 2342145c..f32fe778 100644 --- a/microkernel/mach/memory_object.mdwn +++ b/microkernel/mach/memory_object.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2002, 2003, 2010 Free Software Foundation, +[[!meta copyright="Copyright © 2002, 2003, 2010, 2011 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable @@ -29,3 +29,5 @@ last one tried is the *default memory manager* that resides in the microkernel, in contrast to most of the others. The default memory manager is needed because the microkernel can't wait infinitely for someone else to free the memory cache: it just calls the next memory manager hoping it to succeed. + +Read about [[GNU Mach's memory management|gnumach/memory_management]]. |