Judging from what is selected when I import this example project, I'd say that I'm using SYS/BIOS V6.35.4.50 (see first print screen of my first post). Is there another way of determining which version I'm using?
In the TI installation directory I can find a 'bios_5_42_01_09' and a 'bios_6_35_04_50' folder...
Please do also note that I select ti.platforms.evm6748 as platform since this is the only one that shows a 6748 in its name... If I use xdc.platform.generic instead, I'm getting the following error: