From 482c219a9ab14277f1ddbf465b4291d612b6a09d Mon Sep 17 00:00:00 2001
From: Jeremy Grosser <jeremy@synack.me>
Date: Mon, 22 Aug 2022 09:46:20 -0700
Subject: [PATCH] rp2040_hal, pico_bsp, pico_examples 2.0.0 (#618)

---
 index/pi/pico_bsp/pico_bsp-2.0.0.toml         | 22 ++++++++++
 .../pi/pico_examples/pico_examples-2.0.0.toml | 43 +++++++++++++++++++
 index/rp/rp2040_hal/rp2040_hal-2.0.0.toml     | 31 +++++++++++++
 3 files changed, 96 insertions(+)
 create mode 100644 index/pi/pico_bsp/pico_bsp-2.0.0.toml
 create mode 100644 index/pi/pico_examples/pico_examples-2.0.0.toml
 create mode 100644 index/rp/rp2040_hal/rp2040_hal-2.0.0.toml

diff --git a/index/pi/pico_bsp/pico_bsp-2.0.0.toml b/index/pi/pico_bsp/pico_bsp-2.0.0.toml
new file mode 100644
index 00000000..54870117
--- /dev/null
+++ b/index/pi/pico_bsp/pico_bsp-2.0.0.toml
@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "2.0.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+hal = "~0.3"
+rp2040_hal = "^2.0"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "fb355059bdfe79975500044b12acc8a2b37d0503"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+
diff --git a/index/pi/pico_examples/pico_examples-2.0.0.toml b/index/pi/pico_examples/pico_examples-2.0.0.toml
new file mode 100644
index 00000000..811afe10
--- /dev/null
+++ b/index/pi/pico_examples/pico_examples-2.0.0.toml
@@ -0,0 +1,43 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "2.0.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+licenses = "BSD-3-Clause"
+tags = ["embedded", "nostd", "pico", "rp2040"]
+website = "https://pico-doc.synack.me/"
+auto-gpr-with=false
+project-files = [
+    "adc_continuous/adc_continuous.gpr",
+    "adc_hello/adc_hello.gpr",
+    "blink/blink.gpr",
+    "gpio_interrupts/gpio_interrupts.gpr",
+    "i2c_demo/i2c_demo.gpr",
+    "multicore/multicore.gpr",
+    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
+    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
+    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
+    "pio_assemble/pio_assemble.gpr",
+    "pio_blink/pio_blink.gpr",
+    "pwm/pwm.gpr",
+    "rtc/rtc.gpr",
+    "spi_loopback/spi_loopback.gpr",
+    "timer/timer.gpr",
+    "uart_echo/uart_echo.gpr",
+    "uart_interrupt/uart_interrupt.gpr",
+    "usb_echo/usb_echo.gpr",
+    "usb_echo_interrupt/usb_echo_interrupt.gpr",
+    "ws2812_demo/ws2812_demo.gpr"]
+
+[[depends-on]]
+gnat_arm_elf = "^12"
+rp2040_hal = "^2.0"
+pico_bsp = "^2.0"
+chests = "~0.1.1"
+
+[origin]
+commit = "cd57c29a7ad70cbb080cda4078455e1d6d58b58f"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+
diff --git a/index/rp/rp2040_hal/rp2040_hal-2.0.0.toml b/index/rp/rp2040_hal/rp2040_hal-2.0.0.toml
new file mode 100644
index 00000000..7d905dc4
--- /dev/null
+++ b/index/rp/rp2040_hal/rp2040_hal-2.0.0.toml
@@ -0,0 +1,31 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "2.0.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+cortex_m = "~0.5"
+atomic = "~0.4"
+hal = "~0.3"
+usb_embedded = "~0.3"
+gnat_arm_elf = "^12"
+
+[configuration.variables]
+Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
+Interrupts = {type = "Enum",  values = ["hal", "bb_runtimes"], default = "hal"}
+Use_Startup = {type = "Boolean", default = true}
+
+[configuration.values]
+atomic.Backend = "armv6m"
+cortex_m.core = "m0p"
+
+[origin]
+commit = "e7b64f1a3ff2c4c487f409debf7cd759d52cfc91"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+