Thank you very much. It works fine. 
Contrary to what I said before, the INIT specifier dosn't work for const structure, because the linker modifies the structure allocation to the .init segment (that is not linked at the address I want).
I've solved this problem by specifying the "Link as ROM library" option in the linker.
So now my .prm file looks like this:
SEGMENTS
EEPROM_00 = READ_ONLY DATA_FAR IBCC_FAR 0x000800 TO 0x000BFB FILL 0xFF;
CRC32_EE_00 = READ_ONLY DATA_FAR IBCC_FAR 0x000BFC TO 0x000BFF;
END
PLACEMENT
EEPROM_CONFIGURATION INTO EEPROM_00;
END
CHECKSUM
CHECKSUM_ENTRY
METHOD_CRC32
OF READ_ONLY 0x000800 TO 0x000BFB
INTO READ_ONLY 0x000BFC SIZE 4
UNDEFINED 0xff
END
END
ENTRIES /* keep the following unreferenced variables */
/* OSEK: always allocate the vector table and all dependent objects */
//_vectab OsBuildNumber _OsOrtiStackStart _OsOrtiStart
list of the structures names that must be allocated
END
STACKSIZE 0
Thank you again for your help
Davide
Message Edited by davide.ferrari on 2009-10-08 02:05 PM