1 #source src/cpu/amd/Kconfig
2 source src/cpu/emulation/Kconfig
3 source src/cpu/intel/Kconfig
4 source src/cpu/via/Kconfig
5 source src/cpu/x86/Kconfig
6 source src/cpu/ppc/Kconfig
10 default 0xffdf8000 if CPU_INTEL_CORE
12 config DCACHE_RAM_SIZE
14 default 0x8000 if CPU_INTEL_CORE