CAPIO: Safe Kernel-Bypass of Commodity Devices using Capabilities. - Friedrich Doku; Jonathan Laughton; Nick Wanninger; Peter A. Dinda (CoRR, 2025)