[CCSv5] "Trouble Reading PC Register: Error number -2133 Error address 0" using functional simulator

I have no experience in programming DSPs, so maybe my question is kind of silly, sorry. I have succesfully installed CCSv5 on Linux, and I'm trying a few SYS/BIOS examples. I plan to buy a TMS320C6678 evm so I'm running the examples on a C6678 simulator. I select ti.platforms.evm6678 as platform, since I understand that defines just the memory layout (I don't currently own an evm board).

If I choose a C6678 cycle aproximate simulator as target platform (in the target configuration file) the Hello example runs ok: no errors, messages printed. But if I choose a C6678 functional simulator as target platform, I get the following error for each processor core, even if I run the example only on the first core:

TMS320C66x_0: Trouble Reading PC Register: Error number -2133 Error address 0

The code for the Hello example is:

Void main()
{ 
    System_printf("hello world\n");
    BIOS_exit(0);  /* terminates program and dumps SysMin output */
}

I'm running CCS 5.1.1.00033 and BIOS6 6.32.5.54 on top of Ubuntu Linux.

Thank you very much.