# 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_FLUSHING endif