Sign in
pigweed
/
third_party
/
github
/
zephyrproject-rtos
/
zephyr
/
a74b652d529f2fde6f3db27739de1d28a6976952
/
.
/
soc
/
x86
/
ia32
/
Kconfig.defconfig
blob: 87600183a20c747c08ea1eb598c9b904bcf3980c [
file
] [
log
] [
blame
]
# 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
endif