KernelScript: Cross-Boundary Typed DSL for eBPF Applications
KernelScript is presented, a DSL that types maps, program handles, and execution domains in one source, then compiles to standard C through the original toolchain, and rejects cross-boundary bugs at compile time that standard C/libbpf still builds and loads.