| # Generic PC platform configuration options | |
| # Copyright (c) 2014-2015 Wind River Systems, Inc. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if SOC_IA32 | |
| config SOC | |
| default "ia32" | |
| config SYS_CLOCK_HW_CYCLES_PER_SEC | |
| default 25000000 if HPET_TIMER | |
| config CLFLUSH_DETECT | |
| default y if CACHE_MANAGEMENT | |
| endif |