From 993788346f893ae65dc5a892683b483c5ca511b3 Mon Sep 17 00:00:00 2001 From: Joshua Branson Date: Tue, 18 Dec 2018 10:04:45 -0500 Subject: I tweaked the open-issues/64-bit port. I inlined the faq (Is there is 64-bit version? page). I added a link to the GNU Mach x86_64 branch. I also added some emphasis to some lines. And I corrected a link to debian's jenkins. --- open_issues/64-bit_port.mdwn | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/open_issues/64-bit_port.mdwn b/open_issues/64-bit_port.mdwn index 656dd450..9382a0d5 100644 --- a/open_issues/64-bit_port.mdwn +++ b/open_issues/64-bit_port.mdwn @@ -11,17 +11,20 @@ License|/fdl]]."]]"""]] [[!tag open_issue_gnumach open_issue_mig]] -There is a `master-x86_64` GNU Mach branch. As of 2012-11-20, it only supports -the [[microkernel/mach/gnumach/ports/Xen]] platform for now. +[[!inline pages="title(Is there a 64-bit version?)" feeds="no" raw="yes"]] -What is left for initial support (32-on-64) is +There is a `master-x86_64` [[GNU Mach +branch|http://git.savannah.gnu.org/cgit/hurd/gnumach.git/log/?h=master-x86_64]]. +As of 2012-11-20, it only supports the [[microkernel/mach/gnumach/ports/Xen]] platform for now. - * adding 64bit boot support from grub +**What is left for initial support (32-on-64) is** + + * add 64bit boot support from grub's multiboot * implement 32/64 RPC compatibility for RPCs served by kernel. See [[http://lists.gnu.org/archive/html/bug-hurd/2012-04/msg00000.html]] -For pure 64bit support, we need to +**For pure 64bit support, we need to** * add 64bit definitions in binutils * add 64bit definitions in gcc @@ -29,7 +32,7 @@ For pure 64bit support, we need to * implement 64bit variants of code in libpthread/sysdeps/i386, libpthread/sysdeps/mach/i386, libpthread/sysdeps/mach/hurd/i386 * fetch from Linux 64bit variant of code in ./pfinet/linux-src/arch/i386 and ./pfinet/linux-src/include/asm-i386 * define the mig ABI - * bootstrap a distrib, e.g. Debian hurd-amd64 (see https://jenkins.debian.net/view/rebootstrap/job/rebootstrap_hurd-amd64_gcc7/ ) + * bootstrap a distrib, e.g. Debian hurd-amd64 (see [[https://jenkins.debian.net/view/rebootstrap/job/rebootstrap_hurd-amd64_gcc8/]] ) # IRC, freenode, #hurd, 2011-10-16 -- cgit v1.2.3