| # ARM V2M Beetle Board configuration options | |
| # Copyright (c) 2016 Linaro Limited | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if BOARD_V2M_BEETLE | |
| config BOARD | |
| default "v2m_beetle" | |
| config PINMUX_BEETLE | |
| default y | |
| depends on PINMUX | |
| if SERIAL | |
| config UART_INTERRUPT_DRIVEN | |
| default y | |
| endif # SERIAL | |
| if COUNTER | |
| config TIMER_TMR_CMSDK_APB | |
| default y | |
| config TIMER_DTMR_CMSDK_APB | |
| default y | |
| endif # COUNTER | |
| endif # BOARD_V2M_BEETLE |