# Copyright (C) 2021 Otto-von-Guericke-Universität Magdeburg
#
# This file is subject to the terms and conditions of the GNU Lesser
# General Public License v2.1. See the file LICENSE in the top level
# directory for more details.
#

config BOARD
    default "rpi-pico" if BOARD_RPI_PICO

config BOARD_RPI_PICO
    bool
    default y
    select CPU_MODEL_RP2040