This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

Managing ECC feature with gnu tool chain

Other Parts Discussed in Thread: TMDS570LS31HDK

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