来源:IT之家 | 时间:2022-10-18 07:43:42
(相关资料图)
近日,谷歌宣布,推出为嵌入式设备准备的操作系统 KataOS。
据悉,KataOS 选择了 seL4 作为微内核,其经过数学证明是安全的,具有保证的机密性、完整性和可用性。通过 seL4 CAmkES 框架,KataOS 还能够提供静态定义和可分析的系统组件。KataOS 提供了一个可验证的安全平台,保护用户的隐私,因为应用程序在逻辑上不可能违反内核的硬件安全保护,并且系统组件是可验证安全的。
标签: KataOS-开源 嵌入式设备
索尼发布新款高清激光投影机:支持4K/60p输入
“家电下乡以旧换新”!云南启动“彩云...
2022年智能门锁销量将达570万台 同比增长24.5%
厨电一体化新趋势 嵌入式冰箱或将成为...
取暖器需求量持续增加 浙江慈溪取暖器...
TCL双子舱复式分区洗衣机发布 打造全新...