summaryrefslogtreecommitdiff
path: root/open_issues/64-bit_port.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'open_issues/64-bit_port.mdwn')
-rw-r--r--open_issues/64-bit_port.mdwn15
1 files 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