Text this: Lottery scheduler for the Linux kernel