No fallback on generic "Android" device profile

Running on a NVIDIA Shield, the device is detected as “Android_TegraK1”; by default “Android_TegraK1” is not defined in “DeviceProfiles.ini”. The expected behavior is to pick the “Android” device profile (or maybe “Android_High”), instead only “Android_TegraK1” is searched for, resulting in no match and so no Android related settings are processed.

Howdy Kafu,

Adding this to DeviceProfiles.ini should work:

[Android_TegraK1 DeviceProfile]
DeviceType=Android
BaseProfileName=Android_High

Thanks and have a great day!

How can you debug which device type has been used?