-- LEON3 processor core  constant CFG_LEON3  	: integer := CONFIG_LEON3;  constant CFG_NCPU 	: integer := CONFIG_PROC_NUM;  constant CFG_NWIN 	: integer := CONFIG_IU_NWINDOWS;  constant CFG_V8   	: integer := CFG_IU_V8;  constant CFG_MAC  	: integer := CONFIG_IU_MUL_MAC;  constant CFG_SVT  	: integer := CONFIG_IU_SVT;  constant CFG_RSTADDR 	: integer := 16#CONFIG_IU_RSTADDR#;  constant CFG_LDDEL	: integer := CONFIG_IU_LDELAY;  constant CFG_NWP  	: integer := CONFIG_IU_WATCHPOINTS;  constant CFG_PWD 	: integer := CONFIG_PWD*2;  constant CFG_FPU 	: integer := CONFIG_FPU + 16*CONFIG_FPU_NETLIST;  constant CFG_GRFPUSH  : integer := CONFIG_FPU_GRFPU_SHARED;  constant CFG_ICEN  	: integer := CONFIG_ICACHE_ENABLE;  constant CFG_ISETS	: integer := CFG_IU_ISETS;  constant CFG_ISETSZ	: integer := CFG_ICACHE_SZ;  constant CFG_ILINE 	: integer := CFG_ILINE_SZ;  constant CFG_IREPL 	: integer := CFG_ICACHE_ALGORND;  constant CFG_ILOCK 	: integer := CONFIG_ICACHE_LOCK;  constant CFG_ILRAMEN	: integer := CONFIG_ICACHE_LRAM;  constant CFG_ILRAMADDR: integer := 16#CONFIG_ICACHE_LRSTART#;  constant CFG_ILRAMSZ	: integer := CFG_ILRAM_SIZE;  constant CFG_DCEN  	: integer := CONFIG_DCACHE_ENABLE;  constant CFG_DSETS	: integer := CFG_IU_DSETS;  constant CFG_DSETSZ	: integer := CFG_DCACHE_SZ;  constant CFG_DLINE 	: integer := CFG_DLINE_SZ;  constant CFG_DREPL 	: integer := CFG_DCACHE_ALGORND;  constant CFG_DLOCK 	: integer := CONFIG_DCACHE_LOCK;  constant CFG_DSNOOP	: integer := CONFIG_DCACHE_SNOOP + CONFIG_DCACHE_SNOOP_FAST + 4*CONFIG_DCACHE_SNOOP_SEPTAG;  constant CFG_DFIXED	: integer := 16#CONFIG_CACHE_FIXED#;  constant CFG_DLRAMEN	: integer := CONFIG_DCACHE_LRAM;  constant CFG_DLRAMADDR: integer := 16#CONFIG_DCACHE_LRSTART#;  constant CFG_DLRAMSZ	: integer := CFG_DLRAM_SIZE;  constant CFG_MMUEN    : integer := CONFIG_MMUEN;  constant CFG_ITLBNUM  : integer := CONFIG_ITLBNUM;  constant CFG_DTLBNUM  : integer := CONFIG_DTLBNUM;  constant CFG_TLB_TYPE : integer := CONFIG_TLB_TYPE + CFG_MMU_FASTWB*2;  constant CFG_TLB_REP  : integer := CONFIG_TLB_REP;  constant CFG_DSU   	: integer := CONFIG_DSU_ENABLE;  constant CFG_ITBSZ 	: integer := CFG_DSU_ITB;  constant CFG_ATBSZ 	: integer := CFG_DSU_ATB;  constant CFG_LEON3FT_EN   : integer := CONFIG_LEON3FT_EN;  constant CFG_IUFT_EN      : integer := CONFIG_IUFT_EN;  constant CFG_FPUFT_EN     : integer := CONFIG_FPUFT;  constant CFG_RF_ERRINJ    : integer := CONFIG_RF_ERRINJ;	  constant CFG_CACHE_FT_EN  : integer := CONFIG_CACHE_FT_EN;  constant CFG_CACHE_ERRINJ : integer := CONFIG_CACHE_ERRINJ;	  constant CFG_LEON3_NETLIST: integer := CONFIG_LEON3_NETLIST;	  constant CFG_DISAS    : integer := CONFIG_IU_DISAS + CONFIG_IU_DISAS_NET;  constant CFG_PCLOW    : integer := CFG_DEBUG_PC32;