On 7/2/25 7:54 AM, Samuel Thibault wrote: > Possibly the interrupt and the driver thread are stupidly competing for > the spinlock. > We could try compiling rump with RUMP_LOCKS_UP and keep the setting RUMP_NCPU=1.
We also need to figure out why running with RUMP_NCPU=2 fails to open random init. Damien
