> On Nov 24, 2021, at 8:13 AM, Jason Thorpe <thor...@me.com> wrote: > >> Subsequent boot of the same kernel and userland didn't crash on shutdown. > > Ok, I have reviewed the code and I think I know what’s wrong… I misunderstood > the semantics of (*fo_restart)(). Easy fix.
Ok, I’ve checked in a fix for both eventfd and timerfd. After you update and get the fix, please keep an eye out and let me know if the problem persists. Thanks! -- thorpej