SagXD@lemm.ee to linuxmemes@lemmy.world · 2 months agoNo Mercyfiles.catbox.moeimagemessage-square159fedilinkarrow-up1753arrow-down162
arrow-up1691arrow-down1imageNo Mercyfiles.catbox.moeSagXD@lemm.ee to linuxmemes@lemmy.world · 2 months agomessage-square159fedilink
minus-squareuis@lemm.eelinkfedilinkarrow-up1·2 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.