This contains a patch for Minix OS that implements a semaphore service into the system