--- trunk/doc/intro.html	2007/10/08 16:20:26	28
+++ trunk/doc/intro.html	2007/10/08 16:20:58	32
@@ -10,7 +10,7 @@
 
 <!--
 
-$Id: intro.html,v 1.88 2006/06/27 05:25:46 debug Exp $
+$Id: intro.html,v 1.100 2006/11/04 06:40:20 debug Exp $
 
 Copyright (C) 2003-2006  Anders Gavare.  All rights reserved.
 
@@ -73,11 +73,11 @@
 hardware components are emulated well enough to let unmodified operating
 systems (e.g. NetBSD) run as if they were running on a real machine.
 
-<p>Devices and processors (ARM, MIPS, PowerPC) are not simulated with 100% 
-accuracy. They are only ``faked'' well enough to allow guest operating 
-systems 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>Devices and processors are not simulated with 100% accuracy. They are 
+only ``faked'' well enough to allow guest operating systems to 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 third-party libraries,
 and should compile and run on most 64-bit and 32-bit Unix-like systems.
@@ -98,6 +98,9 @@
 image. (This works for example with DECstation emulation, or when booting
 from ISO9660 CDROM images.)
 
+<p>Thanks to (in no specific order) Joachim Buss, Olivier Houchard, Juli 
+Mallett, Juan Romero Pardines, Alec Voropay, Göran Weinholt, Alexander 
+Yurchenko, and everyone else who has provided me with feedback.
 
 
 
@@ -213,8 +216,9 @@
 <h3>Which processor architectures does GXemul emulate?</h3>
 
 The architectures that are emulated well enough to let at least one 
-guest operating system run (per architecture) are ARM, MIPS, and 
-PowerPC.
+guest operating system run (per architecture) are ARM, MIPS, PowerPC,
+and SuperH.
+
 
 
 
@@ -224,10 +228,12 @@
 <a name="hosts"></a>
 <h3>Which host architectures are supported?</h3>
 
-As of release 0.4.0 of GXemul, the old binary translation subsystem, which 
-was used for emulation of MIPS processors on Alpha and i386 hosts, has 
-been removed. The current dynamic translation subsystem should work on any 
-host.
+GXemul should compile and run on any modern host architecture (64-bit or 
+32-bit word-length).
+
+<p>(The dynamic translation engine translates into an intermediate 
+representation, but not currently into native code. This means that there 
+is no need for per-host architecture backend code.)
 
 
 
@@ -424,7 +430,7 @@
 (similar to what is used in high-performance emulators such as QEMU),
 as long as that generated code abides to the C ABI on the host, but
 for now I wanted to make sure that GXemul works without such native
-code back-ends. For this reason, as of release 0.4.0, GXemul is
+code back-ends. For this reason, since release 0.4.0, GXemul is
 completely free of native code back-ends.
 
 
@@ -446,18 +452,16 @@
 operating systems think that they are there, but for all practical
 purposes, these caches are non-working.
 
-<p>The emulator is <i>not</i> timing-accurate. It can be run in a
-"deterministic" mode, <tt><b>-D</b></tt>. The meaning of deterministic is
-simply that running two emulations with the same settings will result in
-identical runs. Obviously, this requires that no user interaction is
-taking place, and that clock speeds are fixed with the <tt><b>-I</b></tt>
-option. (Deterministic in this case does <i>not</i> mean that the
-emulation will be identical to some actual real-world machine.)
-
-<p>(Note that user interaction means <i>both</i> input to the emulated
-program/OS, and interaction with the emulator's debugger. Breaking into the
-debugger and then continuing execution may affect when/how interrupts
-occur.)
+<p>The emulator is in general <i>not</i> timing-accurate, neither at the
+instruction level nor on any higher level. An attempt is made to let
+emulated clocks run at the same speed as the host (i.e. an emulated timer
+running at 100 Hz will interrupt around 100 times per real second), but
+since the host speed may vary, e.g. because of other running processes,
+there is no guarantee as to how many instructions will be executed in
+each of these 100 Hz cycles.
+
+<p>If the host is very slow, the emulated clocks might even lag behind
+the real-world clock.
 
 
 
@@ -478,6 +482,7 @@
     <li><b>CATS</b> (<a href="guestoses.html#netbsdcatsinstall">NetBSD/cats</a>,
 	<a href="guestoses.html#openbsdcatsinstall">OpenBSD/cats</a>)
     <li><b>IQ80321</b> (<a href="guestoses.html#netbsdevbarminstall">NetBSD/evbarm</a>)
+    <li><b>NetWinder</b> (<a href="guestoses.html#netbsdnetwinderinstall">NetBSD/netwinder</a>)
   </ul>
   <p>
   <li><b><u>MIPS</u></b>
@@ -488,10 +493,11 @@
 	<a href="guestoses.html#declinux">Linux/DECstation</a>,
 	<a href="guestoses.html#sprite">Sprite</a>)
     <li><b>Acer Pica-61</b> (<a href="guestoses.html#netbsdarcinstall">NetBSD/arc</a>)
-    <li><b>NEC MobilePro 770, 780, 800, and 880</b> (<a href="guestoses.html#netbsdhpcmipsinstall">NetBSD/hpcmips</a>)
+    <li><b>NEC MobilePro 770, 780, 800, 880</b> (<a href="guestoses.html#netbsdhpcmipsinstall">NetBSD/hpcmips</a>)
     <li><b>Cobalt</b> (<a href="guestoses.html#netbsdcobaltinstall">NetBSD/cobalt</a>)
     <li><b>Malta</b> (<a href="guestoses.html#netbsdevbmipsinstall">NetBSD/evbmips</a>)
-    <li><b>SGI O2 (aka IP32)</b> <font color="#0000e0">(<super>*</super>)</font>
+    <li><b>Algorithmics P5064</b> (<a href="guestoses.html#netbsdalgorinstall">NetBSD/algor</a>)
+    <li><b>SGI O2 (aka IP32)</b> <font color="#0000e0">(<super>*1</super>)</font>
 	(<a href="guestoses.html#netbsdsgimips">NetBSD/sgi</a>)
   </ul>
   <p>
@@ -499,10 +505,20 @@
   <ul>
     <li><b>IBM 6050/6070 (PReP, PowerPC Reference Platform)</b> (<a href="guestoses.html#netbsdprepinstall">NetBSD/prep</a>)
   </ul>
+  <p>
+  <li><b><u>SuperH</u></b>
+  <ul>
+    <li><b>Sega Dreamcast</b>
+	<font color="#0000e0">(<super>*2</super>)</font>
+	(<a href="guestoses.html#netbsddreamcast">NetBSD/dreamcast</a>)
+  </ul>
 </ul>
 
-<p><small><font color="#0000e0">(<super>*</super>)</font> =
-Enough for root-on-nfs, but not for disk boot.)</small>
+<p>
+<small><font color="#0000e0">(<super>*1</super>)</font> =
+Enough for root-on-nfs, but not for disk boot.</small>
+<br><small><font color="#0000e0">(<super>*2</super>)</font> =
+Only enough to reach ramdisk userland; no root-on-nfs yet.</small>
 
 <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
@@ -518,8 +534,9 @@
   <li>a console I/O device (putchar() and getchar()...)
   <li>an inter-processor communication device, for SMP experiments
   <li>a very simple linear framebuffer device (for graphics output)
-  <li>a simple SCSI disk controller
+  <li>a simple disk controller
   <li>a simple ethernet controller
+  <li>a real-time clock device
 </ul>
 
 <p>This mode is useful if you wish to run experimental code, but do not