3 ms·A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.by ykonstant 2mo agoA good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.