This work may be a very complementary approach. Using eBPF to move some processing into the kernel should make it easier to later move it off the CPU entirely and into the storage device itself.
See https://xilinx.github.io/Vitis_Libraries/ for details on their software stack.
This is how WD was able to jump to RiscV so quickly; they didn't have any suppliers they needed to negotiate with, and the market for CortexR style in order, single issue, fully pipelined real time cores is sort of a commodity.
I wrote a prototype kernel/os  a few years back that ran wasm in kernel mode. I'd love to see that idea pursued further.
We only care about the specific subset of programs that the compiler is able to prove properties about. https://en.m.wikipedia.org/wiki/Termination_analysis
And they where compiled on the fly
Running non stop
until the end of all time.