source

bbqueue

1.0.0

DMA friendly lock-free BipBuffer

GitHub Community CIResults All crate versions Download JSON

1.0.0

An Ada/SPARK proved implementation of James Munns' BBQueue (https://github.com/jamesmunns/bbqueue)

Authors: Fabien Chouteau
Maintainers: Fabien Chouteau <chouteau@adacore.com>
Maintainer profiles: @Fabien-Chouteau
Licenses: MIT
Website: https://github.com/Fabien-Chouteau/bbqueue-spark
Repository: github.com/Fabien-Chouteau/bbqueue-spark
Source revision: f508818cae5c
Tags: spark, nostd, embedded, lockfree, dma, bipbuffer
Manifest: index/bb/bbqueue/bbqueue-1.0.0.toml

Build and platform metadata 1 field

Build switches: { "release": { "runtime_checks": "none" } }