29 #ifndef IFX_CFG_USE_COMPILER_DEFAULT_LINKER
33 #include "IfxScu_reg.h"
34 #include "IfxCpu_reg.h"
42 #ifndef IFX_CFG_CPU_CSTART_ENABLE_TRICORE1_PCACHE
43 # define IFX_CFG_CPU_CSTART_ENABLE_TRICORE1_PCACHE (1)
45 #ifndef IFX_CFG_CPU_CSTART_ENABLE_TRICORE1_DCACHE
46 # define IFX_CFG_CPU_CSTART_ENABLE_TRICORE1_DCACHE (1)
55 #if defined(__TASKING__)
56 __asm(
"\t .extern core1_main");
62 #define IFXCSTART1_PSW_DEFAULT (0x00000980u)
63 #define IFXCSTART1_PCX_O_S_DEFAULT (0xfff00000u)