atomic, bbqueue, hal, usb_embedded 1.0.0 (#1268)

index/at/atomic/atomic-1.0.0.toml

@@ -0,0 +1,19 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "1.0.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[configuration.variables]
+Backend = {type = "Enum",  values = ["Intrinsic", "armv6m", "rp2040_spinlock"], default = "Intrinsic"}
+RP2040_Spinlock_ID = {type = "Integer",  first = 0, last = 31, default = 31 }
+
+[origin]
+commit = "de36e4a83a15f8b158c0d390a343c5da80499894"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+

index/bb/bbqueue/bbqueue-1.0.0.toml

@@ -0,0 +1,25 @@
+name = "bbqueue"
+description = "DMA friendly lock-free BipBuffer"
+version = "1.0.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
+website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
+
+long-description = """An Ada/SPARK proved implementation of James Munns'
+BBQueue (https://github.com/jamesmunns/bbqueue)"""
+
+[build-switches]
+release.runtime_checks = "none"
+
+[[depends-on]]
+atomic = "^1.0.0"
+gnat = ">=10"
+
+[origin]
+commit = "f508818cae5c23e45864e19c618fe2b1dc7c6362"
+url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+

index/ha/hal/hal-1.0.0.toml

@@ -0,0 +1,27 @@
+description = "Hardware Abstraction Layer (HAL)"
+
+long-description = '''# hal
+
+Hardware Abstraction Layer: interfaces definitions to abstract access to common
+hardware devices and protocols
+
+This crate is a snapshot of the `hal` in [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/hal/src).
+
+Any bug report, issue, contribution must be adressed to the [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
+
+'''
+
+name = "hal"
+version = "1.0.0"
+licenses = "BSD-3-Clause"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["hal.gpr"]
+tags = ["embedded", "hal", "nostd"]
+
+[origin]
+commit = "084c64129b8993181d4078397bf022c7ea886c79"
+url = "git+https://github.com/Fabien-Chouteau/hal.git"
+

index/us/usb_embedded/usb_embedded-1.0.0.toml

@@ -0,0 +1,25 @@
+name = "usb_embedded"
+description = "An Ada USB stack for embedded devices"
+version = "1.0.0"
+
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/usb_embedded"
+licenses = "BSD-3-Clause"
+tags = ["embedded", "usb", "hid", "midi", "nostd"]
+
+[[depends-on]]
+hal = "^1.0.0"
+bbqueue = "^1.0.0"
+
+[configuration.variables]
+Control_Buffer_Size = {type = "Integer", first = 256, default = 256 }
+String_Buffer_Size = {type = "Integer", first = 0, default = 256 }
+Max_Strings = {type = "Integer", first = 0, default = 10 }
+Event_Log_Buffer_Size = {type = "Integer", first = 0, default = 0 }
+
+[origin]
+commit = "90f49045c6492735bb54681f997d74510a10f38a"
+url = "git+https://github.com/Fabien-Chouteau/usb_embedded.git"
+