Though it's quite spartan, there's even an L4 microkernel with a security proof. Though that particular kernel lacks useful drivers or other services, ...
確定! 回上一頁