News

RSS feed

2017

News Item Genode OS Framework release 17.11 Nov 30, 2017
We just released the version 17.11 of the Genode OS Framework today. The new version accumulates countless big and small improvements we made while migrating the entire Genode Labs staff to a Genode- based system scenario for productive work.
News Item Genode OS Framework release 17.08 Oct 01, 2017
The highlights of Genode 17.08 are our new GPU multiplexer, enhanced seL4 support, package management, and enhanced GUI elements.
News Item GPU multiplexer for Intel platforms Oct 01, 2017
Our new GPU multiplexer for Intel GMA hardware applies the microkernel approach to the domain of GPUs.
News Item Genode/seL4 comes to the ARM and 64-bit x86 Oct 01, 2017
Genode/seL4 becomes available on the ARM and 64-bit x86 architectures.
News Item Genode OS Framework release 17.05 May 31, 2017
With a profoundly updated framework infrastructure such as GCC 6.3, Qt 5.8, and VirtualBox 5.1.22 for NOVA, the just released version 17.05 promises to be a suitable basis for longer-term maintenance and is accompanied with a new edition of the "Genode Foundations" book.
News Item Genode OS Framework release 17.02 Feb 28, 2017
By introducing application binary interfaces, version 17.02 cultivates the cross-kernel binary compatibility of components. Furthermore, the new version comes with a vastly improved VFS infrastructure, new input-event processing capabilities, and a dynamic component-composition engine.
News Item Road Map 2017 Jan 31, 2017
After a vivid brainstorming discussion on our mailing list, we finalized Genode's official road map for this year.

2016

News Item Symposium on Networked Security / Industrie 4.0 Sep 21, 2016
Genode will attend the Symposium on Networked Security / Industrie 4.0 at the Security Essen fair.
News Item Interactive and dynamic workloads on top of the seL4 kernel Sep 20, 2016
Genode's flexible and scalable OS architecture can now be combined with the formally verified seL4 microkernel.
News Item Genode OS Framework 16.08 released Aug 31, 2016
Beyond the vastly improved support for seL4, the new release brings a lot of improvements in other areas ranging from networking over virtualization to new tools for statistical profiling.
News Item Genode OS Framework 16.05 released May 31, 2016
With Genode 16.05, the framework API undergoes a fundamental revision, the Rust language becomes available to Genode components, GDB can now be used on 64-bit NOVA, and all ported device drivers have been updated to the current versions of the Linux and OpenBSD kernels.
News Item Genode OS Framework 16.02 released Feb 26, 2016
Genode 16.02 introduces the RISC-V hardware architecture to the framework, enables the secure pass-through of USB devices to virtual machines, and updates the Muen separation kernel and the seL4 microkernel.
News Item Genode talks at FOSDEM 2016 Jan 20, 2016
There are four Genode-related talks scheduled at FOSDEM 2016 in Brussels.
News Item Road Map 2016 Jan 19, 2016
The just published Genode road map puts emphasis on fostering community participation.
News Item Upcoming Hack'n'Hike end of May Jan 18, 2016
The registration is open for our yearly Hack'n'Hike event.

2015

News Item Genode OS Framework 15.11 released Nov 30, 2015
The primary focus of version 15.11 is the use of Genode as a desktop OS. It vastly improves the GUI and audio stacks, features the port of Intel KMS from Linux, extends the support for the USB Armory and Xilinx Zynq-7000, and introduces new file-system infrastructure such as a VFS server.
News Item Meet us at FOSDEM 2016 Nov 30, 2015
The next FOSDEM will take place during January 30 - 31 in Brussels.
News Item Genode coming to the RISC-V architecture Nov 30, 2015
During the summer months, we have successfully ported Genode to the RISC-V architecture.
News Item The Muen Separation Kernel as Genode base platform Oct 02, 2015
Thanks to the close collaboration with Codelabs, Genode now supports the Muen separation kernel as base platform.
News Item Genode OS Framework 15.08 released Aug 31, 2015
Version 15.08 marks the starting point of Genode used as day-to-day operating system, which underlines the maturity and scalability of the framework. A further highlight is the ability to execute Genode on top of the Muen separation kernel.
News Item Celebrating Genode's 7th Anniversary Jul 24, 2015
Join our anniversary party at the river Elbe.
News Item Genode as day-to-day operating system Jul 24, 2015
Genode has reached the stability and performance needed to be used as a productive and enjoyable OS for daily computing work.
News Item Meet us at the Chaos Communication Camp in August Jul 24, 2015
The Chaos Communication Camp will take place during August 13 to 17 in Mildenberg.
News Item New book "Genode Foundations" May 29, 2015
The book "Genode Foundations" is available as a free download.
News Item Combining Genode with the seL4 microkernel May 29, 2015
At the end of May, Genode reached a point that allows us to run simple Genode scenarios on the seL4 kernel.
News Item Genode OS Framework 15.05 released May 26, 2015
For the first time, a Genode release is accompanied by a book. Further highlights of the current release are vast improvements of our base-hw kernel, preliminary support for the seL4 microkernel, new device-driver infrastructure, and plenty of new device drivers.
News Item Genode at FOSDEM 2015 Jan 14, 2015
With three talks, Genode will show a strong presence at this year's FOSDEM during 31 January - February 1 in Brussels. The talks will cover an introduction of Genode, our line of work regarding VirtualBox on NOVA, and Genode's evolving GUI architecture.

2014

News Item New Directions in Operating Systems Nov 03, 2014
Norman Feske will present Genode at the "New Directions in Operating Systems" conference on November 25 in London.
News Item Genode OS Framework version 14.08 released Sep 30, 2014
The current version 14.08 of the Genode OS framework introduces a new architecture for graphical user interfaces (GUI) designed from the ground up to protect the privacy of the user and application security.
News Item Genode OS Framework version 14.05 released Jun 20, 2014
Version 14.05 of the Genode OS Framework greatly improves the integration of 3rd-party software, introduces block-level encryption, and adds multi-processor support to our custom kernel platform.
News Item Genode OS Framework version 14.02 released Mar 12, 2014
With version 14.02, the Genode OS Framework gains support for NetBSD's file systems and becomes able to run VirtualBox on top of the NOVA microhypervisor.
News Item Meet Genode Labs at FOSDEM 2014 Jan 06, 2014
Genode Labs will participate in this year's FOSDEM with two presentations at the microkernel developer room.

2013

News Item Genode OS Framework version 13.11 released Dec 09, 2013
We are happy to announce Genode 13.11, which is the 22nd release of the framework since the first version in August 2008.
News Item Genode OS Framework version 13.08 released Aug 30, 2013
With version 13.08 of the Genode OS Framework, we introduce high-performance tracing capabilities, make Qt5 available on all supported kernels, and improve the multi-processor scalability of the framework.
News Item Genode OS Framework version 13.05 released Jun 05, 2013
Version 13.05 introduces support for automated testing and benchmarking, adds new components geared towards headless systems, and enhances the device-driver support for ARM SoCs such as Exynos 5, Freescale i.MX, and BCM2835.
News Item Genode OS Framework version 13.02 released Mar 11, 2013
Among the many improvements of version 13.02 are the use of IOMMUs, vastly enhanced x86-virtualization support, and a new audio interface.

2012

News Item Genode OS Framework version 12.11 released Nov 30, 2012
With version 12.08, the Genode OS Framework has become capable to execute its own build system and improves the support for ARM platforms.
News Item Genode OS Framework version 12.08 released Sep 06, 2012
The version 12.08 of the Genode OS Framework comes with a new base platform, improves support for the NOVA hypervisor, and adds an on-target debugging facility.
News Item Genode OS Framework version 12.05 released Jun 06, 2012
Version 12.05 comes with a new USB stack, media-replay capabilities, and the support for executing the GNU tool chain on top of Genode.
News Item New Office location May 16, 2012
We just moved into our new office space in Dresden Friedrichstadt.
News Item Genode OS Framework version 12.02 released Mar 01, 2012
With the release of Genode 12.02, we have finished the transition of the project to an open development process.
News Item Meet Genode Labs at FOSDEM 2012 Jan 04, 2012
One of the worlds largest gatherings of the Open-Source and Free-Software community will take place during 4th and 5th of February in Brussels.

2011

News Item Genode OS Framework version 11.11 released Nov 29, 2011
The version 11.11 of the Genode OS framework introduces user-level debugging via the GNU debugger, Android running as Genode process, a new free-standing tool chain, and various experimental results related to different virtualization techniques.
News Item Genode OS Framework version 11.05 released Jun 02, 2011
Version 11.05 features L4Linux executed on top of the Fiasco.OC kernel, experimental GDB support, and a new inter-process communication API.
News Item Genode OS Framework version 11.02 released Feb 25, 2011
With the version 11.02 of our operating-system framework, we expanded the supported base platforms to 8 different kernels and introduced a new execution environment for using unmodified GNU software on Genode.

2010

News Item Genode OS Live CD boots Linux as Browser Plugin Nov 22, 2010
With the November release of the Genode Live CD, we showcase a new level of integration of device drivers, Qt4, OpenGL, and virtualized Linux on our platform.
News Item Software Freedom Day 2010 Sep 02, 2010
On 17th of September, Genode will be presented at the Software Freedom Day 2010 in Amsterdam.
News Item Genode OS Framework version 10.08 released Aug 11, 2010
Version 10.08 of our framework comes with support for hardware-accelerated graphics, wireless networking, and block devices.
News Item Genode OS Framework version 10.05 released May 28, 2010
Version 10.05 of our operating-system framework introduces mandatory access control, adds sound support, and advances the integration with the paravirtualized OKLinux kernel.
News Item Genode OS Framework version 10.02 released Feb 24, 2010
With the addition of the Codezero and NOVA kernels as base platforms, our framework for building specialized component-based operating systems strives to capture new application areas.
News Item Genode Labs leaves behind its infancy Jan 29, 2010
Our company changes its legal status from GbR to GmbH.

2009

News Item Genode OS Framework version 9.11 released Nov 25, 2009
The new release introduces a Linux virtualization solution, Webkit support, the light-weight IP stack, and support for the ARM architecture.
News Item Live CD demonstrating latest Genode features Sep 02, 2009
Genode's latest Live-CD features among others Qt4 and Linux.
News Item Genode FX for Trenz Electronic industrial FPGA modules Aug 28, 2009
In cooperation with Trenz Electonic, we have complemented Genode FX with reference designs for the TE0304 series of industrial FPGA modules.
News Item Genode OS Framework version 9.08 released Aug 20, 2009
The first anniversary release revisits fundamental mechanisms and further improves the cross-kernel portability of the OS framework.
News Item First anniversary of the Genode OS Framework Aug 03, 2009
On 13th of August, you can join us celebrating the first anniversary of the Genode OS Framework.
News Item Genode OS Framework version 9.05 released May 28, 2009
The new version introduces support the OKL4 kernel as base platform, the first parts of our USB stack, 64-bit Linux support, and the integration of Qt 4.5.1 into the main-line source tree.
News Item Paper about the Genode FPGA Graphics Project May 19, 2009
The paper about our integrated hardware-software GUI solution introduces our custom hardware IP cores and provides in-depth information about the design and functioning of our software stack with regard to its real-time properties.
News Item Genode FPGA Graphics Project version 9.03 released Mar 24, 2009
Among the various software improvements of Genode FX, there is a new demonstration project showing off its unique features.
News Item Full text of "Securing Graphical User Interfaces" published Mar 18, 2009
Norman Feske has made the PDF version of his dissertation available for download.
News Item Genode OS Framework version 9.02 released Feb 27, 2009
Among many evolutionary improvements, the release 9.02 introduces a native port of Qt4, networking, and support for the L4ka::Pistachio kernel as base platform.
News Item Embedded World 2009 Feb 05, 2009
Visit Genode Labs at the Embedded World 2009 exhibition at March 03-05 in Nuremberg, Germany.
News Item Dissertation on Securing Graphical User Interfaces Jan 07, 2009
On 5th of January, Norman Feske—founding member of Genode Labs—successfully defended his PhD dissertation.

2008

News Item Genode OS Framework version 8.11 released Nov 21, 2008
With the release 8.11, we reached an important milestone of the Genode project with regard to the applicability of the framework for realizing real-world applications.
News Item Live-CD image demonstrating Genode Oct 23, 2008
We have made the default demonstration scenario of the Genode OS Framework available as ready-to-boot ISO image.
News Item Genode FX on Virtex-4 FPGAs Oct 16, 2008
As we are constantly extending the range of platforms supported by Genode FX, we have now documented the process of adapting our FPGA graphics solution to new platforms by the example of the Virtex-4-based ML405 board.
News Item Newsletter archive online Sep 25, 2008
For those of you who do not receive our newsletter via email, we have created an online archive of our past mailings.
News Item Genode FX running on PowerPC of Xilinx Virtex 5 FPGAs Sep 17, 2008
With the release 2008-09, Genode FX supports the PowerPC 440 as available in certain Xilinx Virtex 5 FPGAs.
News Item Genode FPGA graphics project launched Aug 27, 2008
Genode FX brings a fully fleged graphical user interface to FPGA platforms such as Xilinx' low-cost Spartan3 series. The first release features a ready-to-use demonstration project directly executable on widely popular Spartan3A Starter Kit boards.
News Item Genode Labs on the web Aug 21, 2008
Since the release of the Genode OS Framework, both our project and our company were covered by a number of websites including OS News and Heise.de
News Item Genode OS Framework version 8.08 released Aug 06, 2008
We are happy to announce the first official release of the Genode OS Framework.
News Item Launch of the genode.org project website Jul 29, 2008
Today, we launched the community website for the Genode OS framework and announced our first release for the 6th of August.
News Item Thanks for your feedback Jul 15, 2008
Thanks to all of you who helped us to improve many details of our website. Our RSS stream is now available at a meaningful address.
News Item Company website launched Jul 01, 2008
With the move into our new office space, Genode Labs leaves behind its planning period and becomes a physical place.
News Item Moving into our new working environment May 31, 2008
On the 15th of May, Genode Labs officially started its operation.
News Item Genode Labs founded May 14, 2008
Our new website provides the latest news about Genode Labs, our products and general information about the company.

postal address:

  Genode Labs GmbH
  Dammweg 2
  D-01097 Dresden

visiting address:

  Genode Labs GmbH
  Friedrichstr. 26
  D-01067 Dresden

phone:

  +49 351 3282613

email:

  info@genode-labs.com