Soft Real-time version of the Minix 3 Operating System - View it on GitHub