raspberryPi4 top-level property
CustomDeviceConfig
raspberryPi4
getter/setter pair
Implementation
CustomDeviceConfig raspberryPi4 = _defaultConfig.copyWith(
id: 'pi-4',
label: 'Raspberry Pi 4',
sdkNameAndVersion: 'Raspberry Pi 4',
);