from my limited understanding bpf is not general propose by design, like disallowing infinite loops etc. otherwise people have been designing competent bytecode

from my limited understanding bpf is not general propose by design, like disallowing infinite loops etc. otherwise people have been designing competent bytecode/vm since 90's. wasm kernel extension does sounds nice, especially after the meltdown and spectre.