soc/posix/inf_clock/Kconfig.defconfig

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

if SOC_POSIX

config SOC
	default "inf_clock"

endif