How is populated the Operating System details under Resource Manager?