config CPU_AMD_MODEL_10XXX
	bool
	select HAVE_MOVNTI
	select USE_PRINTK_IN_CAR
	select USE_DCACHE_RAM
	select SSE

config CPU_ADDR_BITS
	int
	default 48
	depends on CPU_AMD_MODEL_10XXX

config DCACHE_RAM_BASE
	hex
	default 0xc4000
	depends on CPU_AMD_MODEL_10XXX

config DCACHE_RAM_SIZE
	hex
	default 0x0c000
	depends on CPU_AMD_MODEL_10XXX

config DCACHE_RAM_GLOBAL_VAR_SIZE
	hex
	default 0x04000
	depends on CPU_AMD_MODEL_10XXX