登录 注册

搜索结果:kernel(22 个)

按分类缩小范围
全部分类 AI 应用与 AI Agent AI 模型与开发框架 自动化与工作流 数据分析与数据处理 网站与 SaaS 工具 效率与办公工具 图像、视频与音频 内容创作与媒体工具 电商与营销工具 游戏与娱乐 网络与基础设施 开发者工具 安全与隐私工具 教育与学习 其他

seL4

商机 40
开源的高安全、高性能微内核。
C 5,877 0
其他 部署:中等
Linux 内核源码,是 Linux 操作系统的核心,负责管理硬件和系统资源,为所有其他软件提供基础服务。
C 255,433 0
其他 部署:中等
上一页 1 2