Semaphores in Minix

This project involved implementing counting semaphores in the kernel of the Minix Operating System, and then use the semaphores to solve the producer-consumer problem. The implementation was done in C.