| # SPDX-License-Identifier: Apache-2.0 | |
| # Platform Configuration | |
| CONFIG_SOC_BCM2711=y | |
| CONFIG_BOARD_RPI_4B=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 | |
| # Enable Console | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| # Timer Drivers | |
| CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y |