adding dining philosophers code and xnu