| # Copyright (c) 2021 Intel Corporation | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| config SOC_LAKEMONT | |
| bool "Intel Lakemont SoC" | |
| select X86 | |
| select CPU_LAKEMONT | |
| select X86_MMU if FPU | |
| select X86_SSE if FPU | |
| select X86_SSE2 if FPU | |
| select X86_SSE3 if FPU | |
| select X86_SSSE3 if FPU | |
| select ARCH_HAS_USERSPACE |