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