1# Copyright (c) 2022 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4config BOARD
5	default "intel_socfpga_agilex5_socdk"
6	depends on BOARD_INTEL_SOCFPGA_AGILEX5_SOCDK
7
8config MAX_THREAD_BYTES
9	default 5
10