> in case of bugs the user-space scheduler will just crash and sched-ext will transparently restore the default Linux scheduler.