Clean up some DCACHE related options.
[coreboot.git] / src / cpu / Kconfig
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
7
8 config USE_DCACHE_RAM
9         bool
10         default n
11
12 config DCACHE_RAM_BASE
13         hex
14         default 0xffdf8000 if CPU_INTEL_CORE
15
16 config DCACHE_RAM_SIZE
17         hex
18         default 0x8000 if CPU_INTEL_CORE
19
20 config SMP
21         bool
22         default n
23
24 config CPU_SOCKET_TYPE
25         hex
26         default 0