These are the properties to configure the device manager