1# SPDX-License-Identifier: Apache-2.0
2# Copyright (c) 2011-2014, Wind River Systems, Inc.
3
4config SOC_ATOM
5	select X86
6	select CPU_ATOM
7	imply X86_MMU
8	select ARCH_HAS_RESERVED_PAGE_FRAMES
9