IRC.

1 files changed, 25 insertions, 2 deletions

diff --git a/open_issues/64-bit_port.mdwn b/open_issues/64-bit_port.mdwn
index 797d540f..2d273ba1 100644
--- a/open_issues/64-bit_port.mdwn
+++ b/open_issues/64-bit_port.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2011, 2012 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
@@ -10,7 +10,11 @@ License|/fdl]]."]]"""]]
 
 [[!tag open_issue_gnumach open_issue_mig]]
 
-IRC, freenode, #hurd, 2011-10-16:
+There is a `master-x86_64` GNU Mach branch.  As of 2012-11-20, it only supports
+the [[microkernel/mach/gnumach/ports/Xen]] platform.
+
+
+# IRC, freenode, #hurd, 2011-10-16
 
     <youpi> it'd be really good to have a 64bit kernel, no need to care about
       addressing space :)
@@ -34,3 +38,22 @@ IRC, freenode, #hurd, 2011-10-16:
     <youpi> and it'd boost userland addrespace to 4GiB
     <braunr> yes
     <youpi> leaving time for a 64bit userland :)
+
+
+# IRC, freenode, #hurd, 2012-10-03
+
+    <braunr> youpi: just so you know in case you try the master-x86_64 with
+      grub
+    <braunr> youpi: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=689509
+    <youpi> ok, thx
+    <braunr> the squeeze version is fine but i had to patch the wheezy/sid one
+    <youpi> I actually hadn't hoped to boot into 64bit directly from grub
+    <braunr> youpi: there is code in viengoos that could be reused
+    <braunr> i've been thinking about it for a time now
+    <youpi> ok
+    <braunr> the two easiest ways are 1/ the viengoos one (a -m32 object file
+      converted with objcopy as an embedded loader)
+    <braunr> and 2/ establishing an identity mapping using 4x1 GB large pages
+      and switching to long mode, then jumping to c code to complete the
+      initialization
+    <braunr> i think i'll go the second way with x15, so you'll have the two :)