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

config HAS_COVERAGE_SUPPORT
	default y

config MAX_THREAD_BYTES
	default 5