世界上首个被数学证明安全的操作系统微内核 seL4 成立基金会

NoSuchKey

猜你喜欢

转载自www.oschina.net/news/114715/sel4-microkernel-gets-support-of-linux-foundation