加载中

- 飞行软件和嵌入式系统框架

F´(F Prime) 是一个组件驱动的框架,可以快速开发和部署太空飞行及其他嵌入式软件应用程序。 F´ 最初由 NASA 喷气推进实验室开发,现已成功部署在多种太空应用中。它是量身定制的,被用...

收藏 24
更新于 2021/02/22
F´

yodaos - 开源人工智能操作系统

YodaOS是 Rokid 公司为人机交互设备开发的开源人工智能操作系统,可用于智能音箱、智能眼镜、智能家居、儿童故事机和车载等多种设备和场景。 YodaOS 基于 Linux 内核,集成了完整...

收藏 41
更新于 2019/01/29
yodaos

pycom-micropython - ESP32 的 MicroPython

pycom-micropython,MicroPython 的一个分支,具有自定义的在 Pycom 的 IoT 多网络模块上运行的 ESP32 端口。 这是 MicroPython 项目,其目的...

收藏 13
更新于 2016/11/15

seL4 - 操作系统内核

seL4 是一个安全操作系统内核,旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。 seL4 是 L4 微内核家族的成员,它为系统中运行的应用之间的隔离提供了最高级别保障,可以遏制系统...

收藏 43
更新于 2023/05/09
seL4

没有更多内容

加载失败,请刷新页面

没有更多内容

返回顶部
顶部