Soft Real-time version of the Minix 3 Operating System