search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
18 stars 14 forks source link

Swap head and tail in block queue #127

Closed wom-bat closed 4 months ago

wom-bat commented 4 months ago

Always add to the tail and take from the head of a queue. Also, use pointers to reduce the need for repeated arithmetic rather than rely on the compiler optimiser.