On Sat, Dec 07, 2019 at 02:56:25PM +0000, Taylor R Campbell wrote: > OOPS -- rmind removed pserialize_init from rump_init, so the mutex > never got initialized. Fixed in rump.c 1.337! ACK, test failures down to normal level. Martin