1# Copyright (c) 2025 Arduino SA
2# SPDX-License-Identifier: Apache-2.0
3
4config BOARD_ARDUINO_PORTENTA_C33
5	select SOC_R7FA6M5BH3CFC
6