name = "rp2040_hal"
description = "Drivers and HAL for the RP2040 micro-controller family"
version = "2.7.1"
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 = "^1"
atomic = "^1"
hal = "^1"
usb_embedded = "^1"
gnat_arm_elf = ">=14 & /=15.1.2"

[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 = "d65f4ed41b6acf8d4f502782db924a1499f139ad"
url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"