public DeviceManager() { AllowCaching = true; Manufacturers = new List<DeviceManufacture>(); CachedToolchains = new HashSet<ToolchainReference>(); }