2019-11-01 13:45:29 +01:00
|
|
|
# Generic PC platform configuration options
|
2015-05-20 11:40:39 -05:00
|
|
|
|
|
|
|
# Copyright (c) 2014-2015 Wind River Systems, Inc.
|
2017-01-18 17:01:01 -08:00
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
2015-05-20 11:40:39 -05:00
|
|
|
|
2015-12-17 08:54:35 -05:00
|
|
|
if SOC_IA32
|
2015-09-25 10:03:08 -04:00
|
|
|
|
2015-12-17 08:54:35 -05:00
|
|
|
config SOC
|
2018-05-25 21:19:21 +02:00
|
|
|
default "ia32"
|
2015-03-12 16:15:28 -06:00
|
|
|
|
|
|
|
config SYS_CLOCK_HW_CYCLES_PER_SEC
|
2015-07-22 16:22:25 -04:00
|
|
|
default 150000000 if LOAPIC_TIMER
|
|
|
|
default 25000000 if HPET_TIMER
|
2015-09-25 10:03:08 -04:00
|
|
|
|
2016-02-29 11:12:40 -05:00
|
|
|
config CLFLUSH_DETECT
|
2018-11-13 17:15:49 +01:00
|
|
|
default y if CACHE_FLUSHING
|
2016-02-29 11:12:40 -05:00
|
|
|
|
2015-12-01 08:42:19 -08:00
|
|
|
if UART_NS16550
|
|
|
|
|
|
|
|
config UART_NS16550_PORT_0
|
2018-11-13 17:15:49 +01:00
|
|
|
default y
|
2015-12-01 08:42:19 -08:00
|
|
|
|
|
|
|
config UART_NS16550_PORT_1
|
2018-11-13 17:15:49 +01:00
|
|
|
default y
|
2015-12-01 08:42:19 -08:00
|
|
|
|
|
|
|
endif # UART_NS16550
|
|
|
|
|
2015-09-25 10:03:08 -04:00
|
|
|
endif
|