世界上首个被数学证明安全的操作系统微内核 seL4 成立基金会
NoSuchKey
猜你喜欢
转载自www.oschina.net/news/114715/sel4-microkernel-gets-support-of-linux-foundation
今日推荐
周排行