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.
BSD 2-Clause "Simplified" License
13 stars 11 forks source link

Fix driver bug #145

Closed Courtney3141 closed 1 week ago

Courtney3141 commented 2 weeks ago

This PR fixes the meson driver bug causing the driver to lose DMA buffers during TCP benchmarking.

wom-bat commented 1 week ago

Looks like this changeset is the one adding flow control etc, not the one for DMA buffer loss?