| # SPDX-License-Identifier: Apache-2.0 |
| |
| # Platform Configuration |
| CONFIG_SOC_SERIES_VIPER=y |
| CONFIG_SOC_BCM58402_A72=y |
| CONFIG_BOARD_BCM958402M2_A72=y |
| CONFIG_ARM64_VA_BITS_36=y |
| CONFIG_ARM64_PA_BITS_36=y |
| |
| # Zephyr Kernel Configuration |
| CONFIG_XIP=n |
| CONFIG_FLASH_SIZE=0 |
| CONFIG_FLASH_BASE_ADDRESS=0x0 |
| |
| # Serial Drivers |
| CONFIG_SERIAL=y |
| CONFIG_UART_INTERRUPT_DRIVEN=y |
| CONFIG_UART_NS16550=y |
| |
| # Enable Console |
| CONFIG_CONSOLE=y |
| CONFIG_UART_CONSOLE=y |
| |
| # Enable PCIe EP |
| CONFIG_PCIE_ENDPOINT=y |
| CONFIG_PCIE_EP_BCM_IPROC=y |
| CONFIG_PCIE_EP_BCM_IPROC_V2=y |
