Add information about the GNU Mach 1.3 release, and fix link on MiG source

code page.

4 files changed, 63 insertions, 4 deletions

diff --git a/gnumach-download.html b/gnumach-download.html
index 1564a317..aaaa9ec6 100644
--- a/gnumach-download.html
+++ b/gnumach-download.html
@@ -45,12 +45,54 @@
 <HR>
 <H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
+  <LI><A HREF="#release" NAME="TOrelease">Latest Release</A>
   <LI><A HREF="#cvs" NAME="TOCcvs">CVS repository</A>
   <LI><A HREF="#tarball" NAME="TOCtarball">Archived snapshots</A>
   <LI><A HREF="#cvsweb" NAME="TOCcvsweb">Browsing the code</A>
 </UL>
 <HR>
 
+<H3><A HREF="#TOCrelease" NAME="release">Latest Release</A></H3>
+<P>
+The latest release of GNU Mach is version 1.3, 2002-05-28.  It features:
+<UL>
+<LI>Bug fixes.</LI>
+<LI>The kernel now directly supports "boot scripts" in the form of
+multiboot module names with the same syntax as the Hurd's
+<code>serverboot</code> program.  That is, instead of telling GRUB
+<code>module /boot/serverboot</code>, you can give GRUB a series of
+commands like <code>module /hurd/ext2fs ${...}</code> where the syntax
+after <code>module</code> is the same as in boot scripts for Hurd's
+<code>serverboot</code>.</LI>
+<LI>The kernel message device <code>kmsg</code> is now enabled by
+default.  </code>--disable-kmsg</code> turns it off.</LI>
+<LI>Large disks (>= 10GB) are now correctly supported, the new
+<code>get_status</code> call <code>DEV_GET_RECORDS</code> can return
+the number of records of a device.</LI>
+<LI>Lots of tweaks have been done to the virtual memory management to
+make it perform better on today's machines.</LI>
+<LI>The console supports ANSI escape sequences for colors and
+attributes.</LI>
+<LI>Support for the terminal speeds B57600 and B115200 has been
+added.</LI>
+</UL>
+<P>
+You can download the latest version of GNU Mach from the GNU ftp server:
+<UL>
+<LI><CODE><A
+HREF="ftp://ftp.gnu.org/gnu/gnumach/gnumach-1.3.tar.gz">gnumach-1.3.tar.gz</A></CODE>
+[3639K].</LI>
+<LI><CODE><A
+HREF="ftp://ftp.gnu.org/gnu/gnumach/gnumach-1.3.tar.gz.sig">gnumach-1.3.tar.gz.sig</A></CODE>
+[1K].</LI>
+<LI><CODE><A
+HREF="ftp://ftp.gnu.org/gnu/gnumach/gnumach-1.2-1.3.tar.gz">gnumach-1.2-1.3.tar.gz</A></CODE>
+[310K], containing the differences between GNU Mach 1.2 and GNU Mach 1.3.</LI>
+<LI><CODE><A
+HREF="ftp://ftp.gnu.org/gnu/gnumach/gnumach-1.2-1.3.tar.gz.sig">gnumach-1.2-1.3.tar.gz.sig</A></CODE>
+[1K].</LI>
+</UL>
+
 <H3><A HREF="#TOCcvs" NAME="cvs">CVS repository</A></H3>
 <P>
 The GNU Mach source code is managed in the version control system <A
diff --git a/gnumach.html b/gnumach.html
index 78826e41..749c9ba8 100644
--- a/gnumach.html
+++ b/gnumach.html
@@ -111,15 +111,19 @@ multi-server operating system, the Hurd.
 
 <H3><A HREF="#TOCstatus" NAME="status">Status of the project</A></H3>
 <P>
+GNU Mach 1.3 was released in May 2002, and features advanced boot
+script support, support for large disks (>= 10GB) and an improved
+console.
+<P>
 GNU Mach is used as the default microkernel in the GNU/Hurd system.
 It is compatible with other popular Mach distributions.  The device
 drivers for block devices and network cards are taken from Linux 2.0.x
 kernel versions, and so a broad range of common hardware is supported.
 <P>
 However, the Linux device drivers have been improved greatly since the
-2.0.x version, and a new version of Mach based on the OSKit library is
-being worked on, which uses newer drivers and in general has cleaner
-machine specific support code.
+2.0.x version, and a new version of GNU Mach based on the OSKit
+library is being worked on, which uses newer drivers and in general
+has cleaner machine specific support code.
 </TD>
 </TR>
 </TABLE>
diff --git a/mig-download.html b/mig-download.html
index 06162922..41d87cce 100644
--- a/mig-download.html
+++ b/mig-download.html
@@ -52,7 +52,7 @@
 </UL>
 <HR>
 
-<H3><A HREF="#TOCmig" NAME="mig">Latest Release</A></H3>
+<H3><A HREF="#TOCrelease" NAME="release">Latest Release</A></H3>
 <P>
 The latest release of MiG is version 1.3, 2002-03-08.  It features:
 <UL>
diff --git a/whatsnew.html b/whatsnew.html
index ae360023..a94aafde 100644
--- a/whatsnew.html
+++ b/whatsnew.html
@@ -55,6 +55,19 @@ kernels (such as Linux).
 <P>
 <DL>
 
+<DT>28 May 2002</DT>
+
+<DD>We are pleased to announce version 1.3 of the GNU distribution of
+the Mach kernel, featuring advanced boot script support, support for
+large disks (>= 10GB) and an improved console.
+<P>
+This distribution is only for x86 PC machines.
+Volunteers interested in ports to other architectures are eagerly sought.
+<P>
+More <A HREF="gnumach-download.html#release">information about GNU
+Mach 1.3</A> is available on the GNU Mach web page.
+</P>
+
 <DT>24 May 2002</DT>
 <DD>Finally, the transition from the stdio-based GLibC Application
 Binary Interface (ABI) to the libio-based GLibC ABI has been