genode

Genode – an L4-based microkernel trusted computing base

November 26th, 2009 at 01:16pm Under Virtualisation

I picked up this release note from OS News about Genode 9.11 being released. It now also supports para-virtualisation of the Linux kernel, as well as many other things. Genode is a spin-off project from the L4 kernel (another spin-off is used in Android) from the TU Dresden OS research group, who also did the [...]

Continue Reading Genode – an L4-based microkernel trusted computing base

Tags: , ,

By Ken Y-N Add comment

Genode, an L4-based operating system framework

November 12th, 2008 at 11:54am Under General

The L4 operating system and its derivatives are finding their ways into many projects, from TECOM to HTC’s Android, and joining the fray is Genode, a high security, robust, and deterministic OS. This has recently been released as a ready-to-go Live CD for testing out, running on Qemu, VirtualBox, and assorted native PC hardware. In [...]

Continue Reading Genode, an L4-based operating system framework

Tags: , ,

By Ken Y-N Add comment

Recent Articles
Adverts

Tags
Blogroll
Categories