Profile

Cover photo
104 followers|33,914 views
AboutPostsPhotos

Stream

Genode Labs

Shared publicly  - 
 
Just in time before the Hack'n'Hike 2016, we released Genode 16.05 some minutes ago.

The central aspect of the current release is the fundamental renovation of our base API, which gradually evolved over the years since 2006. While we gained a wealth of experience with a wide range of usage scenarios and their requirements, we eventually realized that we need fundamental changes to greatly increase robustness and flexibility. The whole story is part of the release documentation.

Beside the API changes, we packed quite a few exciting features and improvements into the release with the following highlights: an update of our ported drivers from Linux to version 4.4.3, improved support for ACPI events and functions on x86, enhanced debugging support on NOVA 32-bit and 64-bit, and the capability to implement Genode components in the Rust programming language. Last but not least, Genode 16.05 is accompanied by a new revision of the "Genode Foundations" book.

See you in the Gutshaus Heeselicht!
4
3
Add a comment...

Genode Labs

Shared publicly  - 
 
Recording of Norman Feske demonstrating Genode as Desktop OS at FOSDEM'16
7
3
Add a comment...

Genode Labs

Shared publicly  - 
 
We published the story behind Genode's TrustZone demo on the USB Armory. This article provides a look behind the scenes of the development of Genode's support for the USB Armory platform.
Starting point. With Genode 15.02, we introduced basic support for the USB Armory through our custom kernel in the base-hw repository. Alongside this, we also announced support for the TrustZone VMM demo - a scenario demonstrating a guest OS being monitored by a Genode hypervisor leveraging the ...
1
Ηλίας Ζαχαρόπουλος's profile photo
 
Does anyone remembers the "yogee" not so many years ago?
Add a comment...

Genode Labs

Shared publicly  - 
 
The just released Genode 15.08 is characterized by our efforts to use Genode as day-to-day operating system and marks the beginning of a transition as one of the project's core developers switched to using Genode/NOVA on his machine. From this background, we packed quite a few improvements regarding user GUI experience, VirtualBox robustness and performance, integration of native Genode applications and guest OSes as well as tools to inspect the system behavior into Genode 15.08. Beyond that, we're proud to integrate substantial community contributions as the support to run Genode base-hw on the Muen separation kernel on x86_64 and extended device-driver support for Raspberry Pi and Odroid-X2.

Beside that there are also kernel-resource management for NOVA, VirtualBox audio support, file-system infrastructure improvements, and the completion of our transition to the new platform driver on the table.
Release notes for the Genode OS Framework 15.08. The version 15.08 marks the beginning of Genode as day-to-day OS as one of the project's core developers switched to using Genode/NOVA on his machine, stressing the OS infrastructure we created over the course of the last seven years.
7
2
Add a comment...

Genode Labs

Shared publicly  - 
 
Meet us at the Chaos Communication Camp in August

This year, the hacker camp will take place during August 13 to 17 in Mildenberg in Brandenburg. A huge crowd of technology enthusiasts will gather to enjoy the company of creative people, learn about all kinds of technology, and work on their projects. Among the attendees, there will be a few Genode developers. If you happen to attend the #ccc camp and like to catch up with us, we'd be delighted to hear from you!
3
Johannes Helmuth's profile photo
 
Report?
Add a comment...

Genode Labs

Shared publicly  - 
 
The just released version 15.05 of Genode is packed with profound architectural improvements, new device drivers, and the extension of the supported base platforms to seL4. The release is accompanied by the book Genode Foundations, which covers the architecture in great detail, assists developers with the explanation of the development environment and system configuration, and provides insights behind the scenes of the framework. Furthermore, the book contains the specification of the framework's programming interfaces. More detailed information about all changes in the current release can be found in the release documentation.
9
2
Add a comment...
Have them in circles
104 people
Ricardo Mougán's profile photo
Nikita Mikhailov's profile photo
Jakub Jermář's profile photo
Alexy Gallardo's profile photo
Aditya Kousik's profile photo
Rolf Sommerhalder's profile photo
Michał Makowski's profile photo
sarker mainuddin's profile photo
Alexis Fajardo Moya's profile photo

Genode Labs

Shared publicly  - 
 
Learn how Genode came to RISC-V

Our new article provides a look behind the scenes of porting Genode to the RISC-V hardware architecture.
1
1
Add a comment...

Genode Labs

Shared publicly  - 
 
It's time to announce our first Genode release in 2016.
Genode 16.02 adds RISC-V as a supported CPU architecture to our custom kernel, enables secure pass-through of individual USB devices to virtual machines, and updates the support for the Muen and seL4 kernels. We also improved our GUI stack and developed a custom USB mass-storage driver that runs separated from the now reconfigurable USB host-controller driver.
Release notes for the Genode OS Framework 16.02. With version 16.02, we add RISC-V to the Genode's supported CPU architectures, enable the secure pass-through of individual USB devices to virtual machines, and update the support for the Muen and seL4 kernels. Trustworthy hardware becomes an ...
1
Add a comment...

Genode Labs

Shared publicly  - 
 
Today, we released Genode 15.11 with a strong focus on making Genode viable as the foundation of a desktop OS. The release covers several improvements related to this goals: We ported the Linux Intel KMS driver that enables the use if multiple displays and the dynamic configuration of screen resolutions and connectors. Genode's GUI and audio stack experienced vast improvements while we kept our concept of a uniform configuration concept with a single low-complexity mechanism. Also, we added universal copy-paste support in form of our clipboard component with a rigid information-flow configuration and anti-measures for covert-communication.

Further bullets on the list are: support for Xilinx Zynq-7000, TrustZone support on the USB Armory device, a new VFS component, and support for 64-bit guests in VirtualBox.
Release notes for the Genode OS Framework 15.11. In the previous release, we proudly reported the initial use of Genode as day-to-day OS. With the current release, we maintained the strong focus on making Genode viable as the foundation of a desktop OS. There are many aspects to be considered, ...
7
3
Add a comment...

Genode Labs

Shared publicly  - 
 
It has been 7 years since we officially published the first version of the Genode OS Framework. Like every year, we want to celebrate our anniversary together with you! Every year of our company's history was special. But this year, Genode has finally reached the point where we started using it as our regular day-to-day OS (see below). When we started our company, this was our dream. You can imagine our excitement about our dream having become true.

Let us get together to celebrate our past achievements and the many prospects that lay in front of us! Following the tradition of the past years, we invite you to a barbecue and campfire at the river Elbe. We will accommodate you with a beautiful scenery at the river, a choice of beverages, grilled vegetarian or non-vegetarian food, and the company of the local operating-systems community. If you are going to attend, we would greatly appreciate a short note from you to ease our preparations at info@genode-labs.com.

Please note the location that changed from last year! http://goo.gl/maps/C0luj
Genode 7th Anniversary
Tue, August 25, 2015, 12:00 PM
51.06273, 13.76486

4
2
Add a comment...

Genode Labs

Shared publicly  - 
 
For those who ever wondered how Genode evolved in the past 4 years we created a #Gource wrap up of our GitHub history.
4
Jakub Jermář's profile photo
 
Like hard-working bees :-)
Add a comment...

Genode Labs

Shared publicly  - 
 
In the third part of our seL4 article series, we describe the steps taken to run Genode's fundamental components on seL4. Among the many challenges that had to be overcome are the management of capabilities and memory, the synchronous RPC communication between components, and the handling of page faults. As result, simple Genode system scenarios can be readily executed on top of the seL4 kernel.
Genode on seL4 - Porting the core component. This is the third part of a series of hands-on articles about bringing Genode to the seL4 kernel. Read the first part here... Read the second part here... After exercising the seL4 kernel interface using a small toy root task, it is time to run ...
1
Add a comment...
People
Have them in circles
104 people
Ricardo Mougán's profile photo
Nikita Mikhailov's profile photo
Jakub Jermář's profile photo
Alexy Gallardo's profile photo
Aditya Kousik's profile photo
Rolf Sommerhalder's profile photo
Michał Makowski's profile photo
sarker mainuddin's profile photo
Alexis Fajardo Moya's profile photo
Contact Information
Contact info
Email
Address
Friedrichstr. 26 Dresden, Germany
Dammweg 2 Dresden, Germany
Story
Tagline
Align dynamic workloads of today with security in Genode OS.
Introduction
Genode Labs is the driving force behind the Genode OS Framework - an open-source operating-system technology that aligns highly dynamic workloads with security, robustness, and scalability. Since founded in 2008 by the original Genode architects Norman Feske and Christian Helmuth, Genode Labs operates as an independent company solely owned by its founders. Committed to the open-source community and our customers alike, our business model combines consulting with dual licensing. Originally focused on research, today we pursue our passion as a small and tight-knit team of highly focused professionals to solve real-world problems.

Impressum http://www.genode-labs.com/contact