rp2040_hal 2.4.2 (#1487)

index/rp/rp2040_hal/rp2040_hal-2.4.2.toml

@@ -0,0 +1,31 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "2.4.2"
+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"
+
+[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 = "3c9528073c427ed5374473b942cf5f83c7b9508e"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+