1.1 --- a/README.txt Sun Dec 11 01:23:05 2022 +0100
1.2 +++ b/README.txt Sun Dec 11 19:03:40 2022 +0100
1.3 @@ -30,7 +30,9 @@
1.4
1.5 When building the Departure software within the L4Re build system, the idl4re
1.6 directory will need to be present in the appropriate location, this being
1.7 -inside the l4 directory. See below for more details.
1.8 +inside the l4 directory. The easiest way of satisfying this requirement is to
1.9 +copy the idl4re directory into the l4 directory and making sure that the
1.10 +software is built before trying to build L4Re itself.
1.11
1.12 Obtaining and Building Fiasco.OC and L4Re
1.13 =========================================
1.14 @@ -87,28 +89,13 @@
1.15 distribution within the pkg directory. Also, the idl4re distribution should be
1.16 made available within the l4 directory itself.
1.17
1.18 -Possible L4Re Fix
1.19 ------------------
1.20 -
1.21 -It appears that the following file may need a fix or workaround for a problem
1.22 -where IPC communications employ a bad protocol type:
1.23 -
1.24 -pkg/l4re-core/l4sys/include/cxx/ipc_iface
1.25 -
1.26 -Prior to this line...
1.27 -
1.28 - // handle in-data part of the arguments
1.29 - int send_bytes =
1.30 - Args::template write_op<Do_in_data>(mrs->mr, 0, Mr_bytes,
1.31 - Opt::Opcode, a...);
1.32 -
1.33 -...it appears necessary to introduce the following statement:
1.34 -
1.35 - mrs->mr[0] = 0;
1.36 -
1.37 Building L4Re
1.38 -------------
1.39
1.40 +To build this distribution successfully along with the rest of the L4Re
1.41 +sources, the idl4re distribution must reside within the l4 directory and the
1.42 +software built, as described above.
1.43 +
1.44 Here is a quick summary of the build process for L4Re, also starting at the
1.45 parent directory of the Fiasco.OC and L4Re distributions:
1.46
1.47 @@ -125,9 +112,6 @@
1.48 by this distribution if this distribution has been placed at the pkg/departure
1.49 location within the l4 directory.
1.50
1.51 -Note also that to build this distribution successfully, the idl4re
1.52 -distribution must reside within the l4 directory, as noted above.
1.53 -
1.54 Defining the L4Re Configuration
1.55 ===============================
1.56