Profile

Cover photo
91 followers|37,065 views
AboutPostsPhotos

Stream

Genode Labs

Shared publicly  - 
 
This year's Hack'n'Hike during 22nd - 25th of May is approaching. Like in the previous years, we will gather for several days in a cosy accommodation to enjoy outdoor activities, collaborative hacking, and relaxation.

For everyone interested in getting involved with the community, catching up, or just hanging out with the Genode crowd - feel welcome to join us in the so-called Turmvilla in Bad Muskau http://goo.gl/7HUACA

If you like to join in, either write to hacknhike@genode-labs.com or comment on the Hack'n'Hike topic at our issue tracker.
Next year we're planning to celebrate the Hack'n'Hike gathering in May. As always, everybody interested in Genode is welcome to take this opportunity to hang out with the Genode crowd, enjoy activities in beautiful nature sites with us, ...
2
Add a comment...

Genode Labs

Shared publicly  - 
 
The second part of the article series about Genode on seL4 goes into detail about the kernel mechanisms for synchronous inter-process communication and the management of virtual memory.
Genode on seL4 - IPC and virtual memory. This is the second part of a series of hands-on articles about bringing Genode to the seL4 kernel. Read the previous part here... After having created a minimalistic root task consisting of two threads, we can move forward with exercising the ...
4
1
Malar Kannan's profile photo
Add a comment...

Genode Labs

Shared publicly  - 
 
Don't miss #fosdem this weekend. Genode devs will be around http://goo.gl/0jzEYQ
Norman Feske is one of the founders and architects of the Genode project. In 2008, he co-founded Genode Labs - a company with the mission to transform this OS technology from an once obscure research project to the next generation of operating systems. Prior his engagement with Genode Labs, ...
4
Add a comment...

Genode Labs

Shared publicly  - 
 
We keep up the tradition and will attend FOSDEM 2015 end of January. See you in the Microkernel devroom. Maybe you like to attend one of Norman's talks?

https://fosdem.org/2015/schedule/speaker/norman_feske/
09, 10, 11, 12, 13, 14, 15, 16, 17, 18. Sunday · Introduction · seL4: Present and Future · A dedicated kernel named TORO · The FLK project. Security by the language, no MMU, no processes · Along the GNU Hurd RPC way. A starting guide to contributing to the GNU Hurd · Networking (lunch) ...
3
1
Jakub Jermář's profile photo
Add a comment...

Genode Labs

Shared publicly  - 
 
The November release of Genode is out. Genode 14.11 enables support for wireless networking including WiFi protected access (WPA). The supported hardware is currently limited to Intel wireless chipsets, i.e., iwl6xxx. The second major improvement is a new scheduler for our custom HW kernel. The new scheduler allows to trade CPU resources among Genode subsystems, similarly to how RAM is managed in Genode. Other highlights are a new dynamic linker implemented from scratch with a complexity of less than 20% of the old ported one, an upgrade of VirtualBox to version 4.3.16 along with extensive stability improvements, networking support for Raspberry Pi, and new GUI components.
Release notes for the Genode OS Framework 14.11. With version 14.11 of the Genode OS framework, we are happy to close one of the last functional gaps that prevented us from using Genode for our day-to-day computing needs, namely wireless networking. With the availability of the Intel wireless ...
7
1
Johannes Helmuth's profile photo
Add a comment...

Genode Labs

Shared publicly  - 
 
At November 25, +Norman Feske will speak about Genode at the one day conference New Directions in Operating Systems in Shoreditch Village Hall, London. We're looking forward to meet you there or maybe at the #Rumpkernel hacking event the day after.
Tickets now on sale!. We are seeing the beginning of a new stage in innovation in operating systems and in virtualization. There is a new excitement over containers, distributed operating systems, security, and new languages are being used. Mobile, the internet of things, and cloud are changing ...
3
Add a comment...

Genode Labs

Shared publicly  - 
 
Today, version 14.08 of the Genode OS framework was released, which brings a new GUI architecture for strong security and highly fexible GUIs. Further highlights of the release are a port of OpenVPN, performance improvements of our custom kernel on ARM hardware, networking in VirtualBox and SMP support for Seoul on the NOVA microhypervisor. Also, the process-local VFS now supports pluggable file systems and DDE Linux was updated to upstream version 3.14.5.
Release notes for the Genode OS Framework 14.08. The overall theme of version 14.08 is the introduction of a new scalable GUI architecture that takes security as the most fundamental premise. It is unique in the way that the security of graphical applications and thereby the privacy of the user ...
7
Add a comment...
In their circles
6 people
Have them in circles
91 people
Aditya Kousik's profile photo
Ben B's profile photo
Kaiser Farrell's profile photo
Omega Nine's profile photo
Martin Děcký's profile photo
Markus Partheymüller's profile photo
Shad Sterling's profile photo
Charlotte Helmuth's profile photo
chuck wegrzyn's profile photo

Genode Labs

Shared publicly  - 
 
While conducting our work on Genode's support for Genode ARM's virtualization extensions during the year of 2014, we took the chance to thoroughly document the experience. The article presents the overall virtualization architecture and goes into detail about the virtualization of memory, CPU, interrupts, and time. Furthermore, it covers a series of experiments with I/O protection mechanisms.
An in-depth look into the ARM virtualization extensions. Recent high end ARM CPUs include support for hardware virtualization. Due to limitations of former ARM architectures, virtualizing the hardware tended to be slow and expensive. Some privileged instructions did not necessarily trap when ...
7
2
Morgaine Fowle (de la faye)'s profile photoDrew Fustini's profile photo
Add a comment...
 
Today, we released Genode 15.02, which focuses on the consolidation of the existing feature set rather than the addition of new features. Along these lines, we introduced a highly modularized tool kit for automated and added plenty of stability and performance improvements, e.g., in our WiFi driver and VirtualBox on NOVA. Nevertheless, we added one prominent feature, which is support for virtualization on ARM with our custom base-hw kernel. All changes in Genode 15.02 are covered in more detail by the release documentation.
Release notes for the Genode OS Framework 15.02. Genode's roadmap for this year puts a strong emphasis on the consolidation and cultivation of the existing feature set. With the first release of the year, version 15.02 pays tribute to this mission by stepping up to extensive and systematic ...
10
4
Christian Schwarz's profile photoJohannes Helmuth's profile photo
Add a comment...

Genode Labs

Shared publicly  - 
 
 
The schedule of the traditional Microkernels devroom at +FOSDEM 2015 has just been announced. There are two talks from the HelenOS team, but also other interesting talks.
09, 10, 11, 12, 13, 14, 15, 16, 17. Sunday · seL4: Present and Future · A dedicated kernel named TORO · The FLK project. Security by the language, no MMU, no processes · Along the GNU Hurd RPC way. A starting guide to contributing to the GNU Hurd · Autopsy of a multiserver deadlock in the ...
View original post
1
Add a comment...

Genode Labs

Shared publicly  - 
 
As we have just kicked off our work on porting Genode to the #sel4 microkernel, we took the chance to document the process in the form of a series of articles. The first part covers the steps of creating a minimalistic root task.
Genode on seL4 - Building a simple root task from scratch. This document is a loose collection of notes about the exploration of the seL4 and the port of the Genode system to this kernel. The seL4 kernel is a modern microkernel jointly developed by NICTA and General Dynamics. http://sel4.systems ...
6
Alexander Tarasikov's profile photo
 
Nice notes on debugging
Add a comment...

Genode Labs

Shared publicly  - 
 
A week from now, Hack'n'Hike 2014 will take place in Königstein. We still have some room if you like to stop by or attend the Stiegentour on Saturday. Just drop us an email hacknhike@genode-labs.com. Event discussion happens at http://goo.gl/rCnNgT
1
1
Johannes Helmuth's profile photo
Add a comment...
People
In their circles
6 people
Have them in circles
91 people
Aditya Kousik's profile photo
Ben B's profile photo
Kaiser Farrell's profile photo
Omega Nine's profile photo
Martin Děcký's profile photo
Markus Partheymüller's profile photo
Shad Sterling's profile photo
Charlotte Helmuth's profile photo
chuck wegrzyn'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 a young company committed to bringing forward a novel operating system architecture that aligns the increasingly dynamic workloads of today with security and robustness. We are the lead architects and copyright holders of the Genode OS Framework, passionately driving its development, and offering commercial support for deploying this technology.

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