1# Copyright (c) 2021 Intel Corporation 2# 3# SPDX-License-Identifier: Apache-2.0 4 5config SOC_LAKEMONT 6 bool "Intel Lakemont SoC" 7 select X86 8 select CPU_LAKEMONT 9 select X86_MMU if FPU 10 select X86_SSE if FPU 11 select X86_SSE2 if FPU 12 select X86_SSE3 if FPU 13 select X86_SSSE3 if FPU 14 select ARCH_HAS_USERSPACE 15