Hi.
On Sat, 17 Aug 2019 12:01:01 +0100 Patrick O'Callaghan wrote:
I did finally solve it following the suggestion from Francis.Montagnac@inria.fr (adding rd.break=pre-pivot to the boot line, then remounting /sysroot etc.)
Correction: that was a suggestion of Tony Nelson (thanks for this tip by the way).