# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1670781820 -3600
# Node ID 63a4bdbf1bc239c86a7c45446602711c8723a6b7
# Parent  e9a1fb8dc4a1d48119e832334ead4ae9d33ece76
Updated the documentation, reordering and removing the IPC fix remarks.

diff -r e9a1fb8dc4a1 -r 63a4bdbf1bc2 README.txt
--- a/README.txt	Sun Dec 11 01:23:05 2022 +0100
+++ b/README.txt	Sun Dec 11 19:03:40 2022 +0100
@@ -30,7 +30,9 @@
 
 When building the Departure software within the L4Re build system, the idl4re
 directory will need to be present in the appropriate location, this being
-inside the l4 directory. See below for more details.
+inside the l4 directory. The easiest way of satisfying this requirement is to
+copy the idl4re directory into the l4 directory and making sure that the
+software is built before trying to build L4Re itself.
 
 Obtaining and Building Fiasco.OC and L4Re
 =========================================
@@ -87,28 +89,13 @@
 distribution within the pkg directory. Also, the idl4re distribution should be
 made available within the l4 directory itself.
 
-Possible L4Re Fix
------------------
-
-It appears that the following file may need a fix or workaround for a problem
-where IPC communications employ a bad protocol type:
-
-pkg/l4re-core/l4sys/include/cxx/ipc_iface
-
-Prior to this line...
-
-  // handle in-data part of the arguments
-  int send_bytes =
-    Args::template write_op<Do_in_data>(mrs->mr, 0, Mr_bytes,
-                                        Opt::Opcode, a...);
-
-...it appears necessary to introduce the following statement:
-
-  mrs->mr[0] = 0;
-
 Building L4Re
 -------------
 
+To build this distribution successfully along with the rest of the L4Re
+sources, the idl4re distribution must reside within the l4 directory and the
+software built, as described above.
+
 Here is a quick summary of the build process for L4Re, also starting at the
 parent directory of the Fiasco.OC and L4Re distributions:
 
@@ -125,9 +112,6 @@
 by this distribution if this distribution has been placed at the pkg/departure
 location within the l4 directory.
 
-Note also that to build this distribution successfully, the idl4re
-distribution must reside within the l4 directory, as noted above.
-
 Defining the L4Re Configuration
 ===============================