操作系统框架 Genode

MIT
C/C++
Linux
2009-08-20
红薯

Genode操作系統框架擴展現有的內核(如微內核或程序) ,並提供一個統一的API應用程序。目前, L4/Fiasco和Linux的支持。

加载中

评论(0)

暂无评论

Genode 16.02 发布,支持 RISC-V CPU 架构

Genode 16.02 发布了,该版本增加对 RISC-V CPU 架构的支持,支持独立 USB 设备到虚拟机的安全穿透,更新对 Muen 和 seL4 内核的支持。 Genode操作系統框架擴展現有的內核(如微內核或程序)...

2016/03/02 07:24

Genode 15.05 发布,操作系统框架

Genode 15.05 发布,是该项目史上最全面的一个版本。它的亮点之一是——添加了一个新的文件,主要支持 seL4 微内核、 用户级别的设备驱动程序有了新的架构,框架支持自定义内核实现。 第二个...

2015/05/27 07:53

Genode 15.02 发布,支持 ARM 虚拟化

Genode 15.02 发布,此版本支持 x86 架构的 ARM 虚拟化,把他们的 base-hw 内核转换为一个 microhypervisor。除了虚拟化,此版本还注重测试自动化和优化。 当前版本提升了系统的性能和稳定性...

2015/02/28 07:28

Genode 14.11 发布,提供 Intel 无线栈

Genode 14.11 发布,此版本最值得关注的特性是提供无线网络,使得 Genode 可以在现代的笔记本电脑发挥很大的作用。 此版本除了提供 Intel 无线堆栈之外,值得关注的是新的 CPU 资源交易模式。...

2014/11/29 07:27

Genode 13.08 发布,支持 Qt5、MP 和跟踪

Genode 13.08 发布了,该版本最值得关注的就是引入对 Qt5 的支持。详细的介绍请看发行说明。 Genode操作系統框架擴展現有的內核(如微內核或程序) ,並提供一個統一的API應用程序。目前, ...

2013/08/16 08:47

Genode 12.11 发布,操作系统框架

Genode 12.11 发布了,该版本完全基于 GCC 4.7.2构建,完成了新的音频驱动程序(来自 Open Sound System),扩展对 OMAP4 的支持;一些稳定性和性能方面的提升。 Genode操作系統框架擴展現有...

2012/11/30 08:10

Genode 12.05:新的USB栈,运行GCC,支持媒体播放

具备运行包括GCC、binutils和GNU make在内的GNU工具链的能力,Genode OS 框架朝着成为一个通用OS又迈进了一大步。刚刚发布的version 12.05 引入了Genode文件系统基础设施以及对栈式文件系统的...

2012/05/31 09:56

没有更多内容

加载失败,请刷新页面

没有更多内容

暂无问答

Genode 12.05:新的USB栈,运行GCC,支持媒体播放

具备运行包括GCC、binutils和GNU make在内的GNU工具链的能力,Genode OS 框架朝着成为一个通用OS又迈进了一大步。刚刚发布的 version 12.05 引入了Genode文件系统基础设施以及对栈式文件系统...

2012/05/31 09:55
42
0
(Repost) Getting Genode with TrustZone on the i.MX

转自:https://tthtlc.wordpress.com/2015/02/21/getting-genode-with-trustzone-on-the-i-mx53-quick-start-board/ Getting Genode with TrustZone on the i.MX53 Quick Start Board Posted...

2015/04/09 00:05
27
0
Genode 11.05拥有了新的用于类型安全IPC的新API,运行L4Linux

Genode 11.05 Gets New API for Type-safe IPC, Runs L4Linux Genode 11.05拥有了新的用于类型安全IPC的新API,运行L4Linux posted by nfeske on Thu 26th May 2011 11:41 UTC 发表于:2011年...

2011/05/26 20:14
136
0

没有更多内容

加载失败,请刷新页面

没有更多内容

返回顶部
顶部