diff options
| author | Joshua Branson <jbranso@fastmail.com> | 2018-11-07 10:32:38 -0500 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-11-08 23:53:31 +0100 |
| commit | 3e25a0fd194bbdb1838abb0a17832252eb03462a (patch) | |
| tree | 42f11e17cf99aba0978047239fc15a4caa9c16a7 /open_issues/64-bit_port.mdwn | |
| parent | 1a8d5c728cc275f20d7f560e2760aa882c8ed502 (diff) | |
| download | web-3e25a0fd194bbdb1838abb0a17832252eb03462a.tar.gz web-3e25a0fd194bbdb1838abb0a17832252eb03462a.tar.bz2 web-3e25a0fd194bbdb1838abb0a17832252eb03462a.zip | |
I am adding Richard's comment about mach's memory management issue to the open issues gnumach memory management page.
I also added a link to the 64-bit port on the 830MB RAM limit page.
Diffstat (limited to 'open_issues/64-bit_port.mdwn')
| -rw-r--r-- | open_issues/64-bit_port.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/open_issues/64-bit_port.mdwn b/open_issues/64-bit_port.mdwn index 8658f1b7..656dd450 100644 --- a/open_issues/64-bit_port.mdwn +++ b/open_issues/64-bit_port.mdwn @@ -19,7 +19,7 @@ What is left for initial support (32-on-64) is * adding 64bit boot support from grub * implement 32/64 RPC compatibility for RPCs served by kernel. -See http://lists.gnu.org/archive/html/bug-hurd/2012-04/msg00000.html +See [[http://lists.gnu.org/archive/html/bug-hurd/2012-04/msg00000.html]] For pure 64bit support, we need to |