Hello,

This week I fixed a typo and I added some information on the from the
open issues 64-bit page from the faq page.

Thanks,

>From 344f442fd2ddcb99a56af261171ebc91fe912344 Mon Sep 17 00:00:00 2001
From: Joshua Branson <jbra...@fastmail.com>
Date: Tue, 18 Dec 2018 10:26:21 -0500
Subject: [PATCH] I fixed a typo on the mig documentation page.  espacially ->
 especially.

---
 microkernel/mach/mig/documentation.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/microkernel/mach/mig/documentation.mdwn b/microkernel/mach/mig/documentation.mdwn
index 96731a5d..07299d48 100644
--- a/microkernel/mach/mig/documentation.mdwn
+++ b/microkernel/mach/mig/documentation.mdwn
@@ -66,7 +66,7 @@ pp. 67--77."
 
 # Further Relevant Documentation
 
-  * The [[GNU_Mach_Reference_Manual|gnumach/reference_manual]], espacially
+  * The [[GNU_Mach_Reference_Manual|gnumach/reference_manual]], especially
     [Chapter 4, Inter Process
     Communication](http://www.gnu.org/software/hurd/gnumach-doc/Inter-Process-Communication.html).
 
-- 
2.19.2

>From c7bb8ffb152c21723d205f08a09328c4a2fad19f Mon Sep 17 00:00:00 2001
From: Joshua Branson <jbra...@fastmail.com>
Date: Tue, 18 Dec 2018 10:04:45 -0500
Subject: [PATCH] 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 | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/open_issues/64-bit_port.mdwn b/open_issues/64-bit_port.mdwn
index 656dd450..4e8c777a 100644
--- a/open_issues/64-bit_port.mdwn
+++ b/open_issues/64-bit_port.mdwn
@@ -11,17 +11,19 @@ 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.
+
+**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
+**For pure 64bit support, we need to**
 
   * add 64bit definitions in binutils
   * add 64bit definitions in gcc
@@ -29,7 +31,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
 
-- 
2.19.2


--
Joshua Branson
Sent from Emacs and Gnus

Reply via email to