--- trunk/doc/intro.html	2007/10/08 16:18:19	8
+++ trunk/doc/intro.html	2007/10/08 16:18:27	10
@@ -12,7 +12,7 @@
 
 <!--
 
-$Id: intro.html,v 1.47 2005/06/04 22:47:49 debug Exp $
+$Id: intro.html,v 1.53 2005/06/26 08:42:26 debug Exp $
 
 Copyright (C) 2003-2005  Anders Gavare.  All rights reserved.
 
@@ -55,7 +55,7 @@
   <li><a href="#cpus">Which CPU types does GXemul emulate?</a>
   <li><a href="#accuracy">Emulation accuracy</a>
   <li><a href="#emulmodes">Which machines does GXemul emulate?</a>
-  <li><a href="#guestos">Which guest OSes are possible to run?</a>
+  <li><a href="#guestos">Which guest OSes are possible to run in GXemul?</a>
 </ul>
 
 
@@ -66,42 +66,38 @@
 <a name="overview"></a>
 <h3>Overview:</h3>
 
-GXemul is a machine emulator, which can be used to experiment with
-binary code for (among others) MIPS-based machines. Several emulation
-modes are available. For some emulation modes, processors and surrounding
-hardware components are emulated well enough to let unmodified operating
-systems run as if they were running on a real machine.
+GXemul is an experimental instruction-level machine emulator. It can be
+used to run binary code for (among others) MIPS-based machines, regardless
+of host platform. Several emulation modes are available. For some modes,
+processors and surrounding hardware components are emulated well enough to
+let unmodified operating systems run as if they were running on a real
+machine.
 
-<p>
-Devices and CPUs are not simulated with 100% accuracy. They are only
-"faked" well enough to make operating systems (eg NetBSD) run without
+<p>Devices and CPUs are not simulated with 100% accuracy. They are only
+``faked'' well enough to make operating systems (e.g. NetBSD) run without
 complaining too much. Still, the emulator could be of interest for
 academic research and experiments, such as when learning how to write
 operating system code.
 
-<p>
-The emulator is written in C, does not depend on external libraries (except
-X11, but that is optional), and should compile and run on most Unix-like
-systems. If it doesn't, then that is a bug.
-(You do not need any MIPS compiler toolchain to build or use GXemul.
-If you need to compile MIPS binaries from sources, then of course you need 
-such a toolchain, but that is completely separate from GXemul.)
-
-<p>
-The emulator contains code which tries to emulate the workings of CPUs and
-surrounding hardware found in real machines, but it does not contain any
-ROM code. You will need some form of program (in binary form) to run in 
-the emulator. For many emulation modes, PROM calls are handled by the 
+<p>The emulator is written in C, does not depend on external libraries
+(except X11, but that is optional), and should compile and run on most
+Unix-like systems. If it doesn't, then that is a bug. (You do not need any
+MIPS compiler toolchain to build or use GXemul. If you need to compile
+MIPS binaries from sources, then of course you need such a toolchain, but
+that is completely separate from GXemul.)
+
+<p>The emulator contains code which tries to emulate the workings of CPUs
+and surrounding hardware found in real machines, but it does not contain
+any ROM code. You will need some form of program (in binary form) to run
+in the emulator. For many emulation modes, PROM calls are handled by the
 emulator itself, so you do not need to use any ROM image at all.
 
-<p>
-You can use pre-compiled kernels (for example NetBSD kernels, or Linux),
-or other programs that are in binary format, and in some cases even actual
-ROM images. A couple of different file formats are supported (ELF, a.out,
-ECOFF, SREC, and raw binaries).
+<p>You can use pre-compiled kernels (for example NetBSD kernels, or
+Linux), or other programs that are in binary format, and in some cases
+even actual ROM images. A couple of different file formats are supported
+(ELF, a.out, ECOFF, SREC, and raw binaries).
 
-<p>
-If you do not have a kernel as a separate file, but you have a bootable
+<p>If you do not have a kernel as a separate file, but you have a bootable
 disk image, then it is sometimes possible to boot directly from that
 image. (This works for example with DECstation emulation, or when booting
 from ISO9660 CDROM images.)
@@ -111,6 +107,8 @@
 
 
 
+
+
 <p><br>
 <a name="free"></a>
 <h3>Is GXemul Free software?</h3>
@@ -249,17 +247,11 @@
 performance.)
 
 
-<h4>POWER/PowerPC</h4>
-
-There is some code for 64-bit (and 32-bit) POWER/PowerPC emulation, enough
-to run "Hello World", but not enough to run complete operating systems.  
-This mode isn't really working yet.
-
-
 <h4>Other CPU types:</h4>
 
-Some other CPU architectures (such as x86) can also be partially emulated.
-These are not enabled by default though, because of their unstable-ness.
+Some other CPU architectures can also be partially emulated. These are not
+working well enough yet to run guest operating systems.
+
 
 
 
@@ -315,18 +307,23 @@
   <p>
   <li><b>Cobalt</b>
 	<br>Serial controller and PCI IDE.
+  <p>
+  <li><b>Malta (evbmips)</b>
+	<br>Serial controller and PCI IDE.
+  <p>
+  <li><b>SGI O2 ("IP32")</b>
+	<br>Serial controller and ethernet.&nbsp;&nbsp;<small>(Enough for
+	root-on-nfs, but not for disk boot.)</small>
 </ul>
 
-<p>
-There is code in GXemul for emulation of many other machine types;
-the degree to which these work range from "almost" being able to run
-a complete OS, to almost completely unsupported (perhaps just enough
-support to output a few boot messages via serial console).
-
-<p>
-In addition to emulating real machines, there is also a "test-machine".
-A test-machine consists of one or more CPUs and a few experimental 
-devices such as:
+<p>There is code in GXemul for emulation of many other machine types; the
+degree to which these work range from almost being able to run a complete
+OS, to almost completely unsupported (perhaps just enough support to
+output a few boot messages via serial console).
+
+<p>In addition to emulating real machines, there is also a "test-machine".
+A test-machine consists of one or more CPUs and a few experimental devices
+such as:
 
 <p>
 <ul>
@@ -335,14 +332,12 @@
   <li>a very simple linear framebuffer device (for graphics output)
 </ul>
 
-<p>
-This mode is useful if you wish to run experimental code, but do not
+<p>This mode is useful if you wish to run experimental code, but do not
 wish to target any specific real-world machine type, for example for
 educational purposes.
 
-<p>
-You can read more about these experimental devices
-<a href="experiments.html#expdevices">here</a>.
+<p>You can read more about these experimental devices <a
+href="experiments.html#expdevices">here</a>.
 
 
 
@@ -352,7 +347,7 @@
 
 <p><br>
 <a name="guestos"></a>
-<h3>Which guest OSes are possible to run?</h3>
+<h3>Which guest OSes are possible to run in GXemul?</h3>
 
 This table lists the guest OSes that run well enough to be considered
 working in the emulator. They can boot from a harddisk image and be
@@ -433,6 +428,22 @@
 		<br>Cobalt</td>
 	</tr>
 
+	<tr><td height="10"></td></tr>
+
+	<tr>
+	  <td></td>
+	  <td align="center"><a href="20050626-netbsd-sgimips-netboot.png"><img src="20050626-netbsd-sgimips-netboot_small.png"></a></td>
+	  <td></td>
+	  <td><a href="http://www.netbsd.org/Ports/sgimips/">NetBSD/sgimips</a>
+		<br>SGI O2 ("IP32")</td>
+	  <td></td>
+	  <td align="center"><a href="20050622-netbsd-evbmips-malta.png"><img src="20050622-netbsd-evbmips-malta_small.png"></a></td>
+	  <td></td>
+	  <td><a href="http://www.netbsd.org/Ports/evbmips/">NetBSD/evbmips</a>
+		<br>5Kc (and 4Kc) Malta<br>evaluation boards</td>
+	  <td></td>
+	</tr>
+
 </table></center>