OSnews > Comments > krishna

Profile Guest Posts Submissions Comments

Last 7 Comments

• Genode 13.02 supports IOMMUs on x86, runs on Cortex A15, Posted on: 02/28/2013
• Genode 11.05 Gets New API for Type-safe IPC, Runs L4Linux, Posted on: 05/27/2011
• Genode 11.02 comes to FPGA SoCs, Fiasco.OC, Runs GNU Utils, Posted on: 02/28/2011
• New Genode Version Gets Networking, Qt4, More, Posted on: 02/27/2009
• New Genode Version Gets Networking, Qt4, More, Posted on: 02/26/2009
• Live-CD Demonstration of the Genode OS Framework, Posted on: 10/23/2008
• Genode OS Framework 8.08 Released, Posted on: 08/11/2008