HAVE_MOVNTI really means SSE2. Also add sfence in the MOVNTI case.
[coreboot.git] / src / cpu / amd / model_10xxx / Kconfig
1 config CPU_AMD_MODEL_10XXX
2         bool
3         select USE_PRINTK_IN_CAR
4         select USE_DCACHE_RAM
5         select SSE
6         select SSE2
7         select HAVE_INIT_TIMER
8
9 config CPU_ADDR_BITS
10         int
11         default 48
12         depends on CPU_AMD_MODEL_10XXX
13
14 config DCACHE_RAM_BASE
15         hex
16         default 0xc4000
17         depends on CPU_AMD_MODEL_10XXX
18
19 config DCACHE_RAM_SIZE
20         hex
21         default 0x0c000
22         depends on CPU_AMD_MODEL_10XXX
23
24 config DCACHE_RAM_GLOBAL_VAR_SIZE
25         hex
26         default 0x04000
27         depends on CPU_AMD_MODEL_10XXX
28
29 config UDELAY_IO
30         bool
31         default n
32         depends on CPU_AMD_MODEL_10XXX