mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 13:02:56 +01:00
To prevent caching side-effects of USB DMA memory taken from the packet stream all allocations of USB packets need to be on separated cachelines at least. Fix genodelabs/genode#4655