Minix lottery scheduler