1# Copyright (c) 2024 Antmicro <www.antmicro.com> 2# SPDX-License-Identifier: Apache-2.0 3 4config SOC_CORTEX_R8_VIRTUAL 5 select ARM 6 select CPU_CORTEX_R8 7 select PLATFORM_SPECIFIC_INIT 8 select CPU_HAS_ARM_MPU 9 select VFP_DP_D16 10