# # Copyright (c) 2017 Intel Corporation # # SPDX-License-Identifier: Apache-2.0 # if SOC_POSIX config SOC default "inf_clock" endif