sag@lemm.ee to linuxmemes@lemmy.world · 5 months agoNo Mercyfiles.catbox.moeexternal-linkmessage-square160fedilinkarrow-up1909arrow-down172
arrow-up1837arrow-down1external-linkNo Mercyfiles.catbox.moesag@lemm.ee to linuxmemes@lemmy.world · 5 months agomessage-square160fedilink
minus-squareuis@lemm.eelinkfedilinkarrow-up2·5 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.