# Copyright (c) 2024 Antmicro
# SPDX-License-Identifier: Apache-2.0

if SOC_POLARFIRE_U54

config MP_MAX_NUM_CPUS
	default 4

endif