1# Copyright (c) 2022-2024 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4config HAS_COVERAGE_SUPPORT
5	default y
6
7config MAX_THREAD_BYTES
8	default 5
9