# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1662061239 -7200
# Node ID f27aad83b42ff1e511a79cb0beed02960c5641b7
# Parent  e67a666e303ae927c6a3dc30412d4b3a5010530b
Added section headings and a section about a possible L4Re problem.

diff -r e67a666e303a -r f27aad83b42f README.txt
--- a/README.txt	Fri Aug 19 23:50:35 2022 +0200
+++ b/README.txt	Thu Sep 01 21:40:39 2022 +0200
@@ -45,6 +45,9 @@
 or searching for this information, particularly if it does not continue to
 reside in the above location.
 
+Obtaining and Building the ham Tool
+-----------------------------------
+
 First of all, the ham tool has to be obtained. This can be done as follows:
 
 git clone https://github.com/kernkonzept/ham.git
@@ -65,6 +68,9 @@
 particular location and for the specific purpose of downloading the remaining
 software of interest.)
 
+Building Fiasco.OC
+------------------
+
 Here is a quick summary of the build process for Fiasco.OC starting at the
 parent directory of the Fiasco.OC and L4Re distributions:
 
@@ -81,6 +87,28 @@
 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
+-------------
+
 Here is a quick summary of the build process for L4Re, also starting at the
 parent directory of the Fiasco.OC and L4Re distributions: