OS4C: An Open-Source SR-IOV System for SmartNIC-Based Cloud Platformsieeexplore.ieee.org1 pointteleforce2 years ago