path: root/src/cpu/via/c7/Kconfig

## SPDX-License-Identifier: GPL-2.0-only

config CPU_VIA_C7
	bool
	select ARCH_X86
	select NO_SMM
	select SSE2
	select UNKNOWN_TSC_RATE
	select UDELAY_LAPIC
	select LAPIC_MONOTONIC_TIMER

if CPU_VIA_C7

config DCACHE_BSP_STACK_SIZE
	default 0x1000

endif