1# Copyright (c) 2024 Antmicro <www.antmicro.com> 2# SPDX-License-Identifier: Apache-2.0 3 4config BOARD_CORTEX_R8_VIRTUAL 5 select SOC_CORTEX_R8_VIRTUAL 6