Hi everyone,If you remember the "D for a @safer Linux Kernel“ talk from DConf 2019 [1], then you might want to read our paper [2] on that matter that was just published in IEEE Access Journal.
There's also an ongoing discussion about it on Hacker News in case someone is interested [3].
Cheers, Alexandru [1] https://youtu.be/weRSwbZtKu0 [2] https://ieeexplore.ieee.org/document/9987502 [3] https://news.ycombinator.com/item?id=34260355
