Context :
OS : Windows 7/64
CCS : Version: 6.0.1.00040
Target : TMDS570LS31HDK
GCC toolchain : 4.9.3
Hello,
I'm want to use the gnu toolchain for generating and debugging programs for the TMDS570LS31HDK target :
- how can I manage the ECC bits with the gnu linker : shall I add some directives as described in http://processors.wiki.ti.com/index.php/Linker_Generated_ECC?keyMatch=ECC&tisearch=Search-EN-Everything#example_Memory_Map_for_RM48L952_and_TMS570LS3137 ?
- when using gdb (connected to the gdb_agent_console.exe) I'm not able to correctly write then read at a given physical address in flash :
(gdb) set {int} 0x200000 = 0
(gdb) x/1x 0x00200000
0x200000: 0x000000ff
[intead of awaited 0x00000000]
I imagine this may be due to ECC bit that are not updated by default by gbd since the processor is halted when writing in memory. => Can you give me a method to workaround this problem ? Is there a mean to specify to the gdb_agent_console (in the board configuration file for example) that I'm using a device with ECC ?
thank you,
christophe