SagXD to linuxmemes@lemmy.world · 2 months agoNo Mercyfiles.catbox.moeimagemessage-square162fedilinkarrow-up1907arrow-down173
arrow-up1834arrow-down1imageNo Mercyfiles.catbox.moeSagXD to linuxmemes@lemmy.world · 2 months agomessage-square162fedilink
minus-squareuislinkfedilinkarrow-up2·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.