I read a lot about L4 microkernels recently and I found that seL4 is the only kernel that has a formal verification, which sounds pretty ...
確定! 回上一頁