sag to linuxmemes@lemmy.world · 3 months agoNo Mercyfiles.catbox.moeimagemessage-square162fedilinkarrow-up1911arrow-down173
arrow-up1838arrow-down1imageNo Mercyfiles.catbox.moesag to linuxmemes@lemmy.world · 3 months agomessage-square162fedilink
minus-squareuislinkfedilinkarrow-up2·3 months ago where the compiler can guarantee properties of kernel modules instead of requiring hardware guarantees Then you would need to move compiler to kernel. Well, there is one: BPF(and derivatives). It’s turing-incomplete by design.
Then you would need to move compiler to kernel. Well, there is one: BPF(and derivatives). It’s turing-incomplete by design.