# Copyright (c) 2025 Arduino SA
# SPDX-License-Identifier: Apache-2.0

config BOARD_ARDUINO_PORTENTA_C33
	select SOC_R7FA6M5BH3CFC