Workspace for Operative Systems group.