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.mdwn19
1 files changed, 17 insertions, 2 deletions
diff --git a/open_issues/64-bit_port.mdwn b/open_issues/64-bit_port.mdwn
index 74758085..8658f1b7 100644
--- a/open_issues/64-bit_port.mdwn
+++ b/open_issues/64-bit_port.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2011, 2012, 2013, 2014, 2016 Free Software
+[[!meta copyright="Copyright © 2011, 2012, 2013, 2014, 2016, 2017 Free Software
Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
@@ -12,10 +12,25 @@ 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.
+the [[microkernel/mach/gnumach/ports/Xen]] platform for now.
+
+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
+For pure 64bit support, we need to
+
+ * add 64bit definitions in binutils
+ * add 64bit definitions in gcc
+ * implement 64bit variants of code in glibc/sysdeps/mach/i386 and glibc/sysdeps/mach/hurd/i386
+ * 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/ )
+
# IRC, freenode, #hurd, 2011-10-16
<youpi> it'd be really good to have a 64bit kernel, no need to care about