1# Copyright (c) 2024 Texas Instruments Incorporated
2#	Andrew Davis <afd@ti.com>
3#
4# SPDX-License-Identifier: Apache-2.0
5
6config BOARD_BEAGLEY_AI
7	select SOC_J722S_MAIN_R5F0_0 if BOARD_BEAGLEY_AI_J722S_MAIN_R5F0_0
8	select SOC_J722S_MCU_R5F0_0 if BOARD_BEAGLEY_AI_J722S_MCU_R5F0_0
9