1# Copyright (c) 2021 Intel Corporation
2#
3# SPDX-License-Identifier: Apache-2.0
4
5if SOC_LAKEMONT
6
7config SOC
8	default "lakemont"
9
10config SYS_CLOCK_HW_CYCLES_PER_SEC
11	default 32768
12
13# Can be enabled once UART is defined in board
14# configuration.
15config X86_VERY_EARLY_CONSOLE
16	default n
17
18# Target platforms are usually not PC-compatible
19# (e.g. without BIOS, ACPI, etc.).
20config X86_PC_COMPATIBLE
21	default n
22
23endif
24