Bbqueue

DMA friendly lock-free BipBuffer

Website
Author: Fabien Chouteau
Maintainer: Fabien Chouteau <chouteau@adacore.com>
License: MIT
Version: 0.1.0
Dependencies: Tags: spark nostd embedded lockfree dma bipbuffer
Badge:

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