How to change kernel scheduler

Hi As I have recently moved my desktop PC from Bazzite to NixOS, I have also investigated which, gaming related, performance improvement can be obtained. In order to send the elevator back down I have documented my efforts on the appropriate wiki page. However, even though I would have liked to, I have not documented how to change the scheduler, as I was not really sure if I did it right. As far as I know, you can load a custom scheduler, defined by sched_ext, by the following: # configurati...