This contains a patch for Minix OS in order to implement a Lottery Scheduler into the system