In the Customizing Device Profiles documentation, there are 4 profile configuration files shown in the image:
I created a BaseDeviceProfiles.ini in my project directory to experiment, but it did not work. Making it DefaultDeviceProfiles.ini instead works.
It is a little bit confusing. The Device Profile Editor “Save as Default” button also writes a DefaultDeviceProfiles.ini only (which is quite huge filled with a lot more content)…
Is this just a bug in documentation or are there cases, where a BaseDeviceProfiles.ini is needed in the project directory?