diff options
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/deficiencies.mdwn | 17 | ||||
| -rw-r--r-- | microkernel/mach/gnumach/memory_management.mdwn | 1 |
2 files changed, 18 insertions, 0 deletions
diff --git a/microkernel/mach/deficiencies.mdwn b/microkernel/mach/deficiencies.mdwn index 8b137891..fcf86d79 100644 --- a/microkernel/mach/deficiencies.mdwn +++ b/microkernel/mach/deficiencies.mdwn @@ -1 +1,18 @@ +[[!meta copyright="Copyright © 2024 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]]."]]"""]] + +[[!tag stable_URL]] + +* [[open_issues/resource_management_problems]] + +* [[IPC issues|microkernel/mach/gnumach/projects/mach_5]] + +* [[microkernel/mach/gnumach/projects/clean_up_the_code]] diff --git a/microkernel/mach/gnumach/memory_management.mdwn b/microkernel/mach/gnumach/memory_management.mdwn index 477f0a18..6eca2bce 100644 --- a/microkernel/mach/gnumach/memory_management.mdwn +++ b/microkernel/mach/gnumach/memory_management.mdwn @@ -13,6 +13,7 @@ License|/fdl]]."]]"""]] [[!toc]] +A related page is the [[open_issues/resource_management_problems]]. # IRC, freenode, #hurd, 2011-02-15 |