The DUKE Operating System