前往首頁 聯系我們 網站地圖
領先的手機及寬帶互聯網設備嵌入式虛擬軟件提供商Open Kernel Labs (OK Labs)日前推出了可供下載的OKL4 Verified(項目名稱為seL4),一款經過全面認證的無缺陷安全微核,專為移動/無線設備中的關鍵業務和任務應用而設計。現在,無論是強調安全性的設備制造商(OEMs)、移動網絡運營商(MNOs)、應用開發... (來源:新品頻道)
OK LabsOKL4 Verified 2011-1-27 17:32
中電網 中國電子行業研發工程師一站式服務平臺
關于中電網 廣告招商 聯系我們 招聘信息 友情鏈接 中電網導航 手機中電網 中電網官方微博
Copyright © 2000-2025 中電網 版權所有 京ICP備19016262號-2 京公網安備 11010802037127號
Tel: 010-53682288, 0755-33322333 Fax: 0755-33322099