Index: doc/arch/amd64
===================================================================
--- doc/arch/amd64	(revision 2e5f7702dc81424f7b7355318fce5a2468b65a1d)
+++ doc/arch/amd64	(revision a5556b4c962a9b456fc78bea47df3b031c8b8da2)
@@ -2,21 +2,25 @@
 ==========
 
-The fifth port, amd64 port, is heavily based on ia32 port.
-It was originally written by Ondrej Palkovsky.
-The goal is to support AMD64 or Intel Extended Memory PC's.
-The new 64-bit code makes use of portable parts of ia32.
+The fifth port, amd64 port, was originally written by Ondrej Palkovsky.
+The goal is to support AMD64 and Intel Extended Memory 64 Technology PC's.
+The port makes use of portable parts of ia32.
 Both uniprocessors and multiprocessors are supported.
-It has not been tested on real hardware, so far.
+The kernel runs on real hardware and in simulators too.
 
 HARDWARE REQUIREMENTS
-        o no real hardware supported
+        o AMD64 architecture processor
+	o Intel Extended Memory 64 Technology processor
+
+CPU
+	o Intel Xeon with Intel Extended Memory 64 Technology
 
 SMP COMPATIBILITY
         o Bochs 2.2.1
                 o 2x-8x AMD64 CPU
-        o Simics Simics 2.2.19
+        o Simics 2.2.19
                 o 2x-8x AMD hammer CPU
+	o HP ProLiant ML350 (HyperThreading)
 
 EMULATORS AND VIRTUALIZERS
-        o Bochs 2.2
-        o Simics Simics 2.2.19
+        o Bochs 2.2.1
+        o Simics 2.2.19
Index: doc/arch/ia32
===================================================================
--- doc/arch/ia32	(revision 2e5f7702dc81424f7b7355318fce5a2468b65a1d)
+++ doc/arch/ia32	(revision a5556b4c962a9b456fc78bea47df3b031c8b8da2)
@@ -6,5 +6,5 @@
 It is meant to support ordinary PC's based on IA-32 architecture.
 Both uniprocessor and multiprocessor modes are supported.
-It runs on both emulated environment and real hardware.
+It runs both in emulated environment and on real hardware.
 
 HARDWARE REQUIREMENTS
Index: doc/arch/mips32
===================================================================
--- doc/arch/mips32	(revision 2e5f7702dc81424f7b7355318fce5a2468b65a1d)
+++ doc/arch/mips32	(revision a5556b4c962a9b456fc78bea47df3b031c8b8da2)
@@ -11,4 +11,7 @@
         o emulated MIPS 4K CPU
 
+CPU
+	o QED R4600
+
 COMPILER REQUIREMENTS
         o mips binutils 2.16 and gcc 4.0.1 cross compiler