# Kconfig - General configuration options

#
# Copyright (c) 2017 Intel Corporation
#
# SPDX-License-Identifier: Apache-2.0
#

choice
	prompt "POSIX Configuration Selection"
	depends on ARCH_POSIX

	source "arch/posix/soc/*/Kconfig.soc"
endchoice

menu "POSIX (native) Options"
	depends on ARCH_POSIX

config ARCH
	default "posix"

config ARCH_DEFCONFIG
	string
	default "arch/posix/defconfig"

source "arch/posix/core/Kconfig"


source "arch/posix/soc/*/Kconfig"

endmenu