sag@lemm.ee to linuxmemes@lemmy.world · 4 months agoNo Mercyfiles.catbox.moeexternal-linkmessage-square162fedilinkarrow-up1910arrow-down172
arrow-up1838arrow-down1external-linkNo Mercyfiles.catbox.moesag@lemm.ee to linuxmemes@lemmy.world · 4 months agomessage-square162fedilink
minus-squareuis@lemm.eelinkfedilinkarrow-up2·4 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.