在這之前,對kernel 的verification 有一個seL4。seL4 也是一個micro kernel,kernel 源碼大概1.2w 行,整體是一個比較初級比較簡單的實現。(作為對比,linux kernel 4.9 ...
確定! 回上一頁