From 887ec0656e91228cf6a3e446dc8f16b07914f9e8 Mon Sep 17 00:00:00 2001
From: David Given <dg@cowlark.com>
Date: Fri, 19 Aug 2022 20:08:39 +0200
Subject: [PATCH] Update documentation.

---
 README               |  3 ++-
 plat/msdos386/README | 24 ++++++++++++++++++++++++
 2 files changed, 26 insertions(+), 1 deletion(-)
 create mode 100644 plat/msdos386/README

diff --git a/README b/README
index 07903da95..5a305d6ab 100644
--- a/README
+++ b/README
@@ -2,7 +2,7 @@
                      ===================================
 
                   © 1987-2005 Vrije Universiteit, Amsterdam
-                                2022-06-18
+                                2022-08-19
 
 
 INTRODUCTION
@@ -38,6 +38,7 @@ cpm           produces i80 CP/M .COM files
 rpi           produces Raspberry Pi GPU binaries
 pdpv7         produces PDP/11 V7 Unix binaries
 msdos86       produces i86 MS-DOS .COM files
+msdos386      produces i386 MS-DOS 32-bit DPMI .EXE files
 
 
 
diff --git a/plat/msdos386/README b/plat/msdos386/README
new file mode 100644
index 000000000..0a52528a6
--- /dev/null
+++ b/plat/msdos386/README
@@ -0,0 +1,24 @@
+The msdos386 platform
+=====================
+
+msdos386 is an i386-based BSP that produces DPMI DOS executables. It should
+have the same functionality as msdos86 (as the libc is all the same code), but
+has been much less well tested.
+
+The code runs in flat 32-bit mode, so normal 32-bit pointers work with no
+worries about segmentation. It requires a DPMI host to run; it was tested with
+CWSDPMI. It will _not_ automatically load the host --- you need to manually
+install the DPMI hsot first.
+
+IEEE floating point is available, but requires an FPU.
+
+
+Example command line
+====================
+
+ack -mmsdos386 -O -o msdos386.exe examples/paranoia.c
+
+
+David Given
+dg@cowlark.com
+