A lottery process scheduler for MINIX