| # 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 150000000 if LOAPIC_TIMER |
| default 25000000 if HPET_TIMER |
| |
| config CLFLUSH_DETECT |
| default y if CACHE_FLUSHING |
| |
| if UART_NS16550 |
| |
| config UART_NS16550_PORT_0 |
| default y |
| |
| config UART_NS16550_PORT_0_OPTIONS |
| default 0 |
| depends on UART_NS16550_PORT_0 |
| |
| config UART_NS16550_PORT_1 |
| default y |
| |
| config UART_NS16550_PORT_1_OPTIONS |
| default 0 |
| depends on UART_NS16550_PORT_1 |
| |
| endif # UART_NS16550 |
| |
| endif |
