The platform parameter can be of the `DevicePlatform` enum, but this requires bigger refactoring, so better leave it for another PR.