1# Copyright (c) 2024 Antmicro
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_POLARFIRE_U54
5
6config MP_MAX_NUM_CPUS
7	default 4
8
9endif
10