On Thu, Jul 12, 2018 at 02:01:00PM +0200, Andrea Parri wrote: > > OTOH (as I pointed out earlier) the strengthening we're configuring > > will prevent some arch. (riscv being just the example of today!) to > > go "full RCsc", and this will inevitably "complicate" both the LKMM > > "full RCpc"
That's a good thing :-)