KernelScript: Cross-Boundary Typed DSL for eBPF Applications

Cong Wang, Siyuan Sun, Yusheng Zheng

eBPF lets developers extend Linux with custom packet processing, tracing, and scheduling logic, and a verifier proves before execution that the code will not crash the kernel. The…