“OKL4-标签”的相关资讯
共1条
-
OK Labs推出新型移动安全内核OKL4 Verified
领先的手机及宽带互联网设备嵌入式虚拟软件提供商OpenKernelLabs(OKLabs)日前推出了可供下载的OKL4Verified（项目名称为seL4），一款经过全面认证的无缺陷安全微核，专为移动/无线设备中的关键业务和任务应用而设计。现在
2011-01-28 09:20