boards: arm64: add fvp_base_revc_2xaemv8a_smp_ns board

  -C gic_distributor.ITS-device-bits=16

  -C cache_state_modelled=0

  )

if(CONFIG_BUILD_WITH_TFA)

  set(TFA_PLAT "fvp")

  if(CONFIG_TFA_MAKE_BUILD_TYPE_DEBUG)

    set(FVP_SECURE_FLASH_FILE ${TFA_BINARY_DIR}/fvp/debug/bl1.bin)

    set(FVP_FLASH_FILE ${TFA_BINARY_DIR}/fvp/debug/fip.bin)

  else()

    set(FVP_SECURE_FLASH_FILE ${TFA_BINARY_DIR}/fvp/release/bl1.bin)

    set(FVP_FLASH_FILE ${TFA_BINARY_DIR}/fvp/release/fip.bin)

  endif()

endif()

/*

 * Copyright (c) 2022 Arm Limited (or its affiliates). All rights reserved.

 * SPDX-License-Identifier: Apache-2.0

 */

#include "fvp_base_revc_2xaemv8a.dts"

# Copyright (c) 2022 Arm Limited (or its affiliates). All rights reserved.

# SPDX-License-Identifier: Apache-2.0

identifier: fvp_base_revc_2xaemv8a_smp_ns

name: FVP Emulation FVP_Base_RevC-2xAEMvA

arch: arm64

type: sim

toolchain:

  - zephyr

  - cross-compile

ram: 2048

flash: 64

# Copyright (c) 2022 Arm Limited (or its affiliates). All rights reserved.

# SPDX-License-Identifier: Apache-2.0

CONFIG_SOC_SERIES_FVP_AEMV8A=y

CONFIG_SOC_FVP_BASE_REVC_2XAEMV8A=y

CONFIG_BOARD_FVP_BASE_REVC_2XAEMV8A=y

CONFIG_THREAD_STACK_INFO=y

# Enable Timer and Sys clock

CONFIG_SYS_CLOCK_TICKS_PER_SEC=1000

CONFIG_ARM_ARCH_TIMER=y

# Enable UART driver

CONFIG_SERIAL=y

# Enable serial port

CONFIG_UART_INTERRUPT_DRIVEN=y

# Enable console

CONFIG_CONSOLE=y

CONFIG_UART_CONSOLE=y

# Enable TFA

CONFIG_ARMV8_A_NS=y

CONFIG_BUILD_WITH_TFA=y

# Enable SMP

CONFIG_SMP=y

CONFIG_MP_NUM_CPUS=4

CONFIG_CACHE_MANAGEMENT=y

CONFIG_TIMEOUT_64BIT=y

CONFIG_ARM64_SET_VMPIDR_EL2=y

CONFIG_MAX_THREAD_BYTES=3

# PSCI is supported

CONFIG_PM_CPU_OPS=y