net: adhere to new naming

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

22 stars 16 forks source link

net: adhere to new naming #58

Closed Ivan-Velickovic closed 7 months ago

Ivan-Velickovic commented 7 months ago

TODO:

[x] cleanup queue doc comments
[x] fixup README of network queue
[x] mux -> virt
[x] before merging, check that the binaries are identical before and after the patch

Ivan-Velickovic commented 7 months ago

Okay, I think I've got all of them, now...

Courtney3141 commented 7 months ago

I have just checked the memory barriers in queue.h, everything looks good to me. I built for both the odroidc4 and the imx8mm and ran some benchmarks - everything performed as per usual. I am happy to merge this pull request.