diff --git a/index/pi/pico_bsp/pico_bsp-0.5.0.toml b/index/pi/pico_bsp/pico_bsp-0.5.0.toml
new file mode 100644
index 00000000..34cc5a35
--- /dev/null
+++ b/index/pi/pico_bsp/pico_bsp-0.5.0.toml
@@ -0,0 +1,19 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "0.5.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://github.com/JeremyGrosser/pico_bsp"
+
+[[depends-on]]
+hal = "~0.1"
+rp2040_hal = "~0.5"
+
+[origin]
+commit = "37e023a081ac178b71d63e01fba3b91e0242245c"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+
diff --git a/index/pi/pico_examples/pico_examples-0.5.0.toml b/index/pi/pico_examples/pico_examples-0.5.0.toml
new file mode 100644
index 00000000..9e5c6a81
--- /dev/null
+++ b/index/pi/pico_examples/pico_examples-0.5.0.toml
@@ -0,0 +1,33 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "0.5.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+licenses = "BSD-3-Clause"
+tags = ["embedded", "nostd", "pico", "rp2040"]
+website = "https://github.com/JeremyGrosser/pico_examples"
+auto-gpr-with=false
+project-files = [
+    "adafruit_feather_rp2040/blink_feather.gpr",
+    "adc_hello/adc_hello.gpr",
+    "blink/blink.gpr",
+    "gpio_interrupts/gpio_interrupts.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_blink/pio_blink.gpr",
+    "pwm/pwm.gpr",
+    "rtc/rtc.gpr",
+    "spi_loopback/spi_loopback.gpr",
+    "timer/timer.gpr",
+    "uart_echo/uart_echo.gpr"]
+
+[[depends-on]]
+pico_bsp = "~0.5"
+
+[origin]
+commit = "ac781c0418d23750bccabd5575c20721e9a83c0e"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+
diff --git a/index/rp/rp2040_hal/rp2040_hal-0.5.0.toml b/index/rp/rp2040_hal/rp2040_hal-0.5.0.toml
new file mode 100644
index 00000000..db38f1cd
--- /dev/null
+++ b/index/rp/rp2040_hal/rp2040_hal-0.5.0.toml
@@ -0,0 +1,19 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "0.5.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://github.com/JeremyGrosser/rp2040_hal"
+
+[[depends-on]]
+cortex_m = "~0.3"
+hal = "~0.1"
+
+[origin]
+commit = "a3d897b1910a38f41046e47ea98f21c9e3a00912"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+