设为首页收藏本站

切换到窄版

硬汉嵌入式论坛»首页 › 嵌入式软件 › uCOS & uCGUI & emWin & embOS & TouchGFX & ThreadX › 谷歌推出KataOS开源系统，采用Rust和seL4微内核，seL4 ...

发新帖

查看: 886|回复: 0

收起左侧

[其它] 谷歌推出KataOS开源系统，采用Rust和seL4微内核，seL4 是第一个在源代码级别被数学证明的安全可靠的操作系统内核

1万主题	6万回帖	10万积分

Rank: 9 Rank: 9 Rank: 9

积分: 106843

发消息

发表于 2022-10-18 05:01:23 | 显示全部楼层 |阅读模式

https://github.com/AmbiML/sparrow-kata
https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html

seL4 是第一个在源代码级别被数学证明的安全可靠的操作系统内核。这里给大家分享一篇 seL4 的介绍。它提供了有关生成安全和实时系统所需的技术指导。
https://sel4.systems/About/seL4-whitepaper.pdf

微信公众号：点击此处扫描图片关注
B站视频：https://space.bilibili.com/678329477
淘宝小店：https://anfulai.taobao.com/
H7-TOOL：H7-TOOL固件2.25发布，高速仿真器，1拖4/16脱机烧录，LUA小程序，I2C/SPI主从，CMSIS-SVD解析，RTOS Trace，RTT，CAN/CANFD，串口/485/232，示波器，信号发生器，Modbus主从，CANopen/J1939/OBD解析等高速USB免驱一条龙，板载WiFi和以太网支持局域网和外网控制（2024-02-23）

回复

使用道具举报

发新帖

|小黑屋|Archiver|手机版|硬汉嵌入式论坛

GMT+8, 2024-5-7 09:22 , Processed in 0.242460 second(s), 25 queries .

Powered by Discuz! X3.4 Licensed

Copyright © 2001-2023, Tencent Cloud.

快速回复 返回顶部 返回列表