Profile cover photo
Profile photo
Genode Labs
112 followers -
Align dynamic workloads of today with security in Genode OS.
Align dynamic workloads of today with security in Genode OS.

112 followers
About
Posts

Post has attachment
Genode version 18.02 kicks off the Year of Sculpt by featuring the first revision of the Sculpt operating system for general-purpose computing. Further highlights of the new release range from network-stack improvements, over a new tracing utility, to the experimental use of the Nim programming language.

https://goo.gl/qJJAtJ
Add a comment...

Post has attachment
Not one major feature but many small improvements regarding the interactive use brings the new version 17.11 of Genode. Driven by our endeavor to use Genode as secure and robust working platform in the Genode Labs team, we smoothened great many rough edges. On the path, the system got a completely revised GUI and input stack, a dynamic driver manager, and over 150 packaged depot archives. The package management represents the key to easy deployment and update in the future.

Notable side paths are the update of seL4 to version 7.0, the enablement of MMU-based thread mitigation on kernels/platforms that support NX/SMAP/SMEP, the option to boot Genode directly via UEFI and GRUB2, and the further cultivation of the Nim programming language.
Add a comment...

Post has attachment
With the fresh 17.08 release, we publish the outcome of our long-term investigation of hardware-accelerated graphics on modern Intel platforms that we conducted over the past year. As a result, Genode comes now with a brand new GPU multiplexer for Intel-Gen8 graphics hardware and an updated OpenGL stack with Qt5 and SDL integration. Further, we improved the seL4 microkernel platform support with an update to version 6.0. seL4 can now be used on x86 32-bit and 64-bit as well as the ARMv7 Wandboard. We also added preliminary UEFI support, non-blocking VFS operation, Genode as Xen DomU, and much more.
Add a comment...

Genode turns 9 this year. So, let us meet together to celebrate the past, present, and future of our project, and enjoy the get-together of the Genode team and collaborators. We will hold the anniversary party at the river bank of the Elbe.

Google Maps: http://goo.gl/maps/C0luj

31st of August, 6 pm near Eisenberger Straße in Dresden

Enjoy the atmosphere at the river bank with tasty barbecue of vegetarian and non-vegetarian food, and a nice selection of beverages! If you are going to attend, please let us know by writing a short note to info@genode-labs.com.
Add a comment...

Post has attachment
The current release improves the framework in various aspects ranging from a new approach for package management over the adoption of the GNU compiler collection version 6.3 and Qt 5.8 to the feature completeness of VirtualBox 5.1.22 on the NOVA microhypervisor. With Genode 17.05 we completed our framework API modernization, which brings users close to a stable API with rare changes in the future. A notable gem is the initial support for the Nim programming language.

The release is accompanied by an updated revision of the "Genode Foundations" book, which describes the current architecture and API in detail.
Add a comment...

Post has attachment
An appetizer for this year's Hack'n'Hike in May.
Add a comment...

Post has attachment
Genode 17.02 brings the following major improvements. First, we largely revised our C runtime environment regarding the compatibility of our component framework to C applications. We enhanced the VFS to support asynchronous I/O operations and changed the libc execution model to fit our state-machine-based component approach. Further, the release introduces the Genode application binary interface (ABI), which finally renders most Genode components entirely kernel-agnostic. System scenarios can now be moved from one kernel to another in a few seconds. Also, we packed a brand new input-event filter component into this release and updated the init component to suit as a generic subsystem-composition engine that applies configuration updates differentially to its subsystems.

With the current release, we updated our regular Open-Source license and adopted the GNU Affero General Public License version 3 (AGPLv3). Possible license-compatibility concerns with other popular open-source software licenses are addressed by the accompanied special exception clause that expresses our consent with linking Genode with open-source software of different licenses.
Add a comment...

Post has attachment
With Genode 16.11, we revisited the most fundamental aspect of the framework - the interplay between parent and child components. With a sharp eye on improved scalability, we replaced the fully synchronous model of communication by asynchronous communication. The notable side effect of this next step in the direction of state-machine-based components is reduction of efforts required for thorough evaluation of crucial system components. Further, we refined the design and configuration interface of our NIC-router component to ease its application in common use cases. Additional highlights are NOVA kernel improvements, VirtualBox version updates, and support for smart cards.
Add a comment...

Post has attachment
We just released Genode 16.08 with lots of improvements ranging from extended base-platform support over networking and virtualization to a new tool for statistical profiling. We are proud to announce that we support seL4 as base platform for dynamic and interactive scenarios on x86. The new version enables users of seL4 to compose dynamic operating systems from a plethora of ready-to-use Genode components. Further, the Muen developers contribute their efforts in running unmodified guest operating systems on top their separation kernel with a port of VirtualBox 4. As we consider VirtualBox as key feature of Genode, this release includes a first experimental version of VirtualBox 5 on top of the NOVA kernel. Another highlight of the new version is a virtual networking component for routing and NAT accompanied by the ability to use the TOR network.
Add a comment...

Every summer since 2009, we celebrate the progress of Genode together with the community by a casual barbecue and campfire at the Elbe river banks. To recall the past year's events, glimpse at our next steps, and get together with the friends of Genode, we invite you to our 8th Anniversary party

Google Maps: http://goo.gl/maps/C0luj

1st of September, 6 pm near Drachenschänke in Dresden

Enjoy grilled vegetarian or non-vegetarian food, have a drink, chat with the people of Dresden's operating-systems community, and relax at the nice scenery at the river! If you are going to attend, we would greatly appreciate a short note from you to ease our preparations info@genode-labs.com
Add a comment...
Wait while more posts are being loaded