1 comment

[ 0.22 ms ] story [ 7.1 ms ] thread
A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.