boards: Added support for the Raspberry Pi Pico

Signed-off-by: Yonatan Schachter <[email protected]>

Author: yonsch

CODEOWNERS

@@ -119,6 +119,7 @@
 /boards/arm/quick_feather/                @kowalewskijan @kgugala
 /boards/arm/rak4631_nrf52840/             @gpaquet85
 /boards/arm/rak5010_nrf52840/             @gpaquet85
+/boards/arm/raspberrypi_pico/             @yonsch
 /boards/arm/ronoth_lodev/                 @NorthernDean
 /boards/arm/xmc45_relax_kit/              @parthitce
 /boards/arm/sam4e_xpro/                   @nandojve

boards/arm/raspberrypi_pico/Kconfig.board

@@ -0,0 +1,6 @@
+# Copyright (c) 2021 Yonatan Schachter
+# SPDX-License-Identifier: Apache-2.0
+
+config BOARD_RPI_PICO
+	bool "Raspberry Pi Pico Board"
+	depends on SOC_RP2040

boards/arm/raspberrypi_pico/Kconfig.defconfig

@@ -0,0 +1,9 @@
+# Copyright (c) 2021 Yonatan Schachter
+# SPDX-License-Identifier: Apache-2.0
+
+if BOARD_RPI_PICO
+
+config BOARD
+	default "raspberrypi_pico"
+
+endif # BOARD_RPI_PICO

boards/arm/raspberrypi_pico/board.cmake

@@ -0,0 +1,49 @@
+.. _raspberrypi_pico:
+
+Raspberry Pi Pico
+#################
+
+Overview
+********
+
+The Raspberry Pi Pico is a small, low-cost, versatile board from
+Raspberry Pi. It is equipped with an RP2040 SoC, an on-board LED,
+a USB connector, and an SWD inteface. The USB bootloader allows it
+to be flashed without any adapter, in a drag-and-drop manner.
+It is also possible to flash and debug the Pico with its SWD interface,
+using an external adapter.
+
+Hardware
+********
+- Dual core Arm Cortex-M0+ processor running up to 133MHz
+- 264KB on-chip SRAM
+- 2MB on-board QSPI flash with XIP capabilities
+- 26 GPIO pins
+- 3 Analog inputs
+- 2 UART peripherals
+- 2 SPI controllers
+- 2 I2C controllers
+- 16 PWM channels
+- USB 1.1 controller (host/device)
+- 8 Programmable I/O (PIO) for custom peripherals
+- On-board LED
+
+
+.. figure:: img/raspberrypi_pico.png
+     :width: 150px
+     :align: center
+     :alt: Raspberry Pi Pico
+
+     Raspberry Pi Pico (Image courtesy of Raspberry Pi)
+
+Supported Features
+==================
+
+The raspberrypi_pico board configuration supports the following
+hardware features:
+
++-----------+------------+----------------------+
+| Interface | Controller | Driver/Component     |
++===========+============+======================+
+| UART      | on-chip    | serial port          |
++-----------+------------+----------------------+

boards/arm/raspberrypi_pico/doc/img/raspberrypi_pico.png

@@ -0,0 +1,31 @@
+/*
+ * Copyright (c) 2021 Yonatan Schachter
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/dts-v1/;
+
+#include <raspberrypi/rp2040.dtsi>
+
+/ {
+	chosen {
+		zephyr,sram = &sram0;
+		zephyr,flash = &flash0;
+		zephyr,console = &uart0;
+	};
+};
+
+&flash0 {
+	/* 2MB of flash minus the 0x100 used for
+	 * the second stage bootloader
+	 */
+	reg = <0x10000100 0x001fff00>;
+};
+
+&uart0 {
+	current-speed = <115200>;
+	status = "okay";
+	tx-pin = <0>;
+	rx-pin = <1>;
+};

boards/arm/raspberrypi_pico/doc/index.rst

@@ -0,0 +1,12 @@
+identifier: raspberrypi_pico
+name: RaspberryPi-Pico
+type: mcu
+arch: arm
+flash: 2048
+ram: 264
+toolchain:
+  - zephyr
+  - gnuarmemb
+  - xtools
+supported:
+  - serial

boards/arm/raspberrypi_pico/raspberrypi_pico.dts

@@ -0,0 +1,9 @@
+CONFIG_SOC_SERIES_RP2XXX=y
+CONFIG_SOC_RP2040=y
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=125000000
+CONFIG_RP2_FLASH_W25Q080=y
+CONFIG_SERIAL=y
+CONFIG_LOG=y
+CONFIG_LOG_PRINTK=y
+CONFIG_CONSOLE=y
+CONFIG_UART_CONSOLE=y