Giters

jamesmunns / bbqueue

A SPSC, lockless, no_std, thread safe, queue, based on BipBuffers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Aligned grants

Fabien-Chouteau opened this issue · comments

commented

Hello here,

I was trying to use my SPARK implementation of bbqueue in a USB stack but I realized that it would not work with the internal DMA of the USB Device controller (samd51) because the addresses have to be 4 bytes aligned.

I think it should be possible to add alignment constraints to the framed implementation buy adding padding header length, I'd like to have your opinion on this.

commented

Hi Fabien, That sounds reasonable, and I agree using the "framed" construction (or at least a similar approach) would be the most reasonable way to achieve this.