http://permalink.gmane.org/gmane.os.genode.announce hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.os.genode.announce/27 <pre>Hello, I'd like to share the following excerpt of the latest Genode-Labs newsletter with you: Join us at Genode's Hack'n Hike event ------------------------------------- In spring of 2012, we held the first instance of the Genode Hack'n Hike, which were wonderful days full of hacking, relaxing, brain- storming, and enjoying the magnificent nature of the Saxon Switzerland together. From the feedback we got from the attendees, it goes without saying that this should not stay a singular event, but rather be the prelude of a tradition. Hence, we have fixed the date for this year's Hack'n Hike: Begin: Wednesday, September 11 End: Monday, September 16 We extended the duration of the event over that of last year's. Whether you'd like to drop by for just a few hours, or you'd like to stay for the whole time, you are welcome to join in. Genode Labs will sponsor the accommodation. So don't worry too much about the costs. As of now, we haven't finalized the decision about the venue, but you can be sure tha</pre> Norman Feske 2013-06-05T10:42:32 http://permalink.gmane.org/gmane.os.genode.announce/26 <pre>We are happy to announce the new release of the Genode OS Framework. The focus of our work in the past three months was on consolidation and optimization of the current feature set and extension of our support for embedded SoCs. The highlights of the fresh release are: - Tooling for automated testing and benchmarking - Enhanced terminal infrastructure - New network performance benchmarks - Platform support - Exynos 5 SoC (USB-3, gigabit networking, eMMC, SATA) - i.MX SoC (GPIO, display, touch screen) - OMAP4 SoC (LCD) - Raspberry Pi - Linux/ARM as new base platform - Device drivers - DDE Linux updated to Linux 3.9 - DDE iPXE update to latest Git version - Services - FS-LOG service - Dynamically reconfigurable virtual framebuffer - 3rd-party libraries - Qt4 version 4.8.4 - libSDL supplemental libraries The whole story is described in the release notes: http://genode.org/documentation/release-notes/13.05 Best regards and enjoy </pre> Christian Helmuth 2013-05-30T16:25:02 http://permalink.gmane.org/gmane.os.genode.announce/25 <pre>I am delighted to announce the release of Genode version 13.02. The overall theme of this version is improving the framework's platform support. This is most prominently visible in the form of the many NOVA-specific improvements and the addition of the Cortex-A15-based Exynos 5250 SoC. But those are only a small part of the whole story, which is described in full detail in the release notes: http://genode.org/documentation/release-notes/13.02 The release-notes summary follows: - DMA protection via IOMMU (NOVA/x86) - Full virtualization via the Vancouver VMM (NOVA/x86) - Redesigned audio-output support for low latency - Base API and OS infrastructure - New fault-detection facility - New mechanism for file-system notifications - New terminal multiplexer - Device drivers - ACPI support for 64-bit machines - New OMAP4 UART driver - USB support for Samsung Exynos 5250 - Base platforms - Custom kernel platform with added support for Samsung Exynos 5250 and Freescale i.MX53 - NOVA kernel im</pre> Norman Feske 2013-02-28T11:31:53 http://permalink.gmane.org/gmane.os.genode.announce/24 <pre>Today, we are happy to announce the new version of the Genode OS Framework, which denotes an important landmark: the ability to build Genode within the Genode environment leaving aside any kind of virtualization. And of course, there a many more improvements to explore in the fresh release: - Self-hosting Genode on Genode - Custom kernel platform - Support for ARM TrustZone - Support for OMAP4 - Support for Freescale i.MX - Device drivers - New device driver environment for the Open Sound System - New OMAP4 GPIO driver - Updated iPXE networking drivers - Platform support - Largely revisited platform support for Linux - NOVA updated and complemented - L4ka::Pistachio updated - Fiasco.OC updated to rev 40, L4Linux updated to rev 25 - Optimizations - lwIP update and performance improvements The whole story is described in the release notes: http://genode.org/documentation/release-notes/12.11 Best regards and enjoy </pre> Christian Helmuth 2012-11-29T14:55:22 http://permalink.gmane.org/gmane.os.genode.announce/23 <pre>Midsummer - there couldn't be a better time for releasing a new version of Genode. Among the highlights of version 12.08 are a new base platform that enables the framework to run on bare ARM hardware without a separate kernel, the largely reworked support for the NOVA hypervisor, and comprehensive device drivers for OMAP4-based hardware platforms. Quick overview of the changes that come with version 12.08: - Base platforms - New base-hw platform for running the framework on bare ARM hardware - NOVA support for x86_64, object integrity protection, core-only kernel-resource allocation - New OMAP4 SoC device drivers - HDMI output - SD-card - USB HID - Networking - New FFAT-based file-system service - New TAR file-system service - Improved Noux runtime - New port of the Lynx web browser - Shell scripting support - 3rd-party libraries - New ports of openssl, pcre, expat - MPC, libgmp for x86_64 and ARM - lwIP updated to version 1.4.1-rc1 - New port of the lighttpd web server Those</pre> Norman Feske 2012-08-23T08:48:16 http://permalink.gmane.org/gmane.os.genode.announce/22 <pre>Hello, I just sent out an invitation with the Genode-Labs newsletter today. Just in case you are not receiving these mailings, please find the invitation text below: ---- when we released the first version of the Genode OS Framework four years ago, a few people recognized the potential of the technology but considered Genode largely as a research endeavor, which was probably right at that time. Now, four years of dedication and 16 releases later, Genode has evolved to a comprehensive and useful framework that increasingly captures the interest of the "real world". Over the course of the last year, we learned about several industrial research organizations who picked up our work to build upon, received inquiries about licensing our technology for the use in products, and observed increased public interest in the prospects Genode promises with regard to privacy and security. The most significant event for the project during the past year, however, was our move to liberate its development process and thereb</pre> Norman Feske 2012-07-27T12:33:05 http://permalink.gmane.org/gmane.os.genode.announce/21 <pre>The version 12.05 of the Genode OS Framework has just been released. It comes with a huge number of new features ranging from file-system infrastructure, over a USB stack, to the ability to execute the GNU tool chain including GCC, binutils, and GNU make on a variety of microkernels supported by Genode. Quick overview of the major changes: - Base framework, low-level OS infrastructure - Video decoding via libav - New concept for system re-configuration at runtime - New support for dynamic ROM sessions - New loader interface and implementation - New file-system infrastructure - New in-memory file system - Libararies, components, and driver drivers - New USB stack based on Linux version 3.2 - POSIX threads and semaphores - Video decoding via libav - Lua scripting language - Audio, timer, and threading support for libSDL - Noux runtime for Unix software - Support for stacked file systems - Binutils, GNU compiler collection, GNU make - Basic networking support - Base platforms - L</pre> Norman Feske 2012-05-30T10:49:55 http://permalink.gmane.org/gmane.os.genode.announce/20 <pre>I am happy to announce the version 12.02 of the Genode OS Framework. This release is something special because it represents the first version conducted with our new open development process. The framework's additions and improvements were primarily motivated by our road map for 2012. For example, the release comes with the first bits of our device-driver manager dubbed d3m, it enables the interactive execution of a Bash shell to spawn coreutils, and it features the port of a PDF rendering engine. With regard to the base API, the most noteworthy additions are a new framework API for accessing memory-mapped I/O registers more safely and API support for reusing services as sandboxed libraries. Summary of the release notes: * Base framework, low-level OS infrastructure * RPC framework refinements * API support for enslaving services * Support for resizable framebuffers * New MMIO access framework * Enhanced support for Genode used as component framework on Linux * New and updated libraries * Qt4</pre> Norman Feske 2012-02-28T12:11:30 http://permalink.gmane.org/gmane.os.genode.announce/19 <pre>FYI, forwarded from microkernel-devroom&lt; at &gt;lists.fosdem.org We look forward to meeting you in Brussels! Thanks a lot to Jakub Jermar of the HelenOS project for having initiated the developer room and for the invitation of our project! -------- Original Message -------- Subject: [Microkernel-devroom] Accepted talks and schedule of our devroom atFOSDEM 2012 Date: Mon, 09 Jan 2012 11:55:12 +0100 From: Jakub Jermar &lt;jakub&lt; at &gt;jermar.eu&gt; Reply-To: Multiserver,microkernel-based operating systems devroom mailing list.&lt;microkernel-devroom&lt; at &gt;lists.fosdem.org&gt; To: Multiserver, microkernel-based operating systems devroom mailing list.&lt;microkernel-devroom&lt; at &gt;lists.fosdem.org&gt; Hi, here is a schedule for the Multiserver, microkernel-based operating systems devroom &lt; at &gt; FOSDEM 2012: 9:00am – 9:25am Welcome! or Why do we meet here today (Jakub Jermář) 9:30am – 10:00am Introduction to the NOVA kernel API (Julian Stecklina) 10:10am – 10:55am Introduction of the Genode OS Framework (Norman Feske) 11:10am – 11:55am Intr</pre> Norman Feske 2012-01-09T11:26:36 http://permalink.gmane.org/gmane.os.genode.announce/19 <pre>FYI, forwarded from microkernel-devroom&lt; at &gt;lists.fosdem.org We look forward to meeting you in Brussels! Thanks a lot to Jakub Jermar of the HelenOS project for having initiated the developer room and for the invitation of our project! -------- Original Message -------- Subject: [Microkernel-devroom] Accepted talks and schedule of our devroom atFOSDEM 2012 Date: Mon, 09 Jan 2012 11:55:12 +0100 From: Jakub Jermar &lt;jakub&lt; at &gt;jermar.eu&gt; Reply-To: Multiserver,microkernel-based operating systems devroom mailing list.&lt;microkernel-devroom&lt; at &gt;lists.fosdem.org&gt; To: Multiserver, microkernel-based operating systems devroom mailing list.&lt;microkernel-devroom&lt; at &gt;lists.fosdem.org&gt; Hi, here is a schedule for the Multiserver, microkernel-based operating systems devroom &lt; at &gt; FOSDEM 2012: 9:00am – 9:25am Welcome! or Why do we meet here today (Jakub Jermář) 9:30am – 10:00am Introduction to the NOVA kernel API (Julian Stecklina) 10:10am – 10:55am Introduction of the Genode OS Framework (Norman Feske) 11:10am – 11:55am Intr</pre> Norman Feske 2012-01-09T11:26:36 http://permalink.gmane.org/gmane.os.genode.announce/18 <pre>Hello everyone, over the past four years, the Genode OS Framework has seen rapid progress. Skimming over the release notes of the past releases makes me very proud. It is clear that the project's development is going stronger than ever. However, at the same time, I recognize that progress on a technical level is only one part of a successful Open-Source project. A certainly even more important part is the participation of a diverse community. This is where our project is vastly underdeveloped. By continuing the development at status quo, Genode will continue to steadily improve but it will not be able to capture a significant position in the operating-systems world. Instead, it will possibly remain a curiosity. Therefore, we Genode developers regard the transition of our work to an open and transparent development process as the next big challenge we want to tackle. Review of the situation Even though Genode is an Open-Source project, its development has been pursued largely behind the closed doors of ou</pre> Norman Feske 2011-12-05T16:25:20 http://permalink.gmane.org/gmane.os.genode.announce/17 <pre>I am very happy to announce the release of Genode version 11.11. With this version, we explored various opportunities to combine the Genode architecture with virtualization techniques. The topics range from enabling faithful virtualization of x86 PC hardware, over paravirtualized Android, to our custom OS-level and application-level virtualization approaches. The work on these topics materialized in the form of many improvements of the framework. To name a few, the new version features the GDB debugging facility as announced earlier on this mailing list, the integration of the Vancouver virtual machine monitor, the support of running Android based on the work of the L4Android project, and the new ability to execute complex command-line based UNIX software (i.e., VIM) natively on Genode. For regular developers, our new free-standing tool chain significantly improves the situation when developing for different architectures. In particular, this new tool chain alleviates the need for using CodeSourcery tools </pre> Norman Feske 2011-11-29T16:17:53 http://permalink.gmane.org/gmane.os.genode.announce/16 <pre>Hello, I am happy to announce that Genode will participate in FOSDEM 2012 next February. Thanks a lot to Jakub Jermar of the HelenOS project for having invited us to a devroom specifically allocated for microkernel-based and multi-server operating systems such as ours. Please feel hearty invited to join us at FOSDEM and to discuss the planning of the event at the mailing list mentioned in Jakub's official announcement (see below). Cheers Norman -------- Original Message -------- Subject: Multiserver, microkernel-based operating systems devroom at FOSDEM 2012 Date: Fri, 11 Nov 2011 16:57:17 +0100 From: Jakub Jermar The multiserver, microkernel-based operating systems are going to have a dedicated devroom at FOSDEM [0] 2012. The event will take place in Brussels during the weekend of February 4 and 5, 2012. The projects that originally declared interest in the devroom are: GNU Hurd[1] MINIX 3[2] HelenOS[3] Genode[4] If we can get support in the form of devroom content of other related projects, that w</pre> Norman Feske 2011-11-11T18:30:23 http://permalink.gmane.org/gmane.os.genode.announce/15 <pre>The 11.08 release brings unified workflows for all base platforms with a streamlined tooling support, enhanced documentation, and a new quality-assurance infrastructure as well as some functional additions. With the version 11.08, the framework relieves the burden of using distinct base platforms with Genode by introducing a unified way to download, build, and use each of the kernels with Genode's user-level infrastructure. The new tools empower users of the framework to instantly change the underlying kernel without the need to know the peculiarities of the respective kernels. Using microkernels has never been easier. The second challenge of translating each kernel's specific behaviour to the framework's unified API longs for an automated testing infrastructure that systematically exercises all the various facets of the API on all base platforms. The new version introduces the tooling support especially designed for conducting such quality-assurance measures. Speaking of functional enhancements, the work</pre> Stefan Kalkowski 2011-08-17T13:17:52 http://permalink.gmane.org/gmane.os.genode.announce/14 <pre>Dear Genode Community, it has been almost three years ago when we published the first version of the Genode OS Framework. Since then, our ongoing commitment and dedication to bring forward this technology has proven our project to be sustaining and constantly evolving. Moreover, to our delight, the last year has shown that the potential behind our project receives increasing recognition by people outside the inner circle of the Genode and L4 communities. This gives us more than enough reasons to celebrate the 3rd anniversary of Genode together with you! Let's gather for a barbecue and a campfire on 19th of August, 6 pm near Moritzburger Str. 1 in Dresden http://maps.google.de/maps/ms?ie=UTF8&amp;msa=0&amp;msid=103318122554571178078.00046fb68de981c60ca9e&amp;ll=51.071531,13.721988&amp;spn=0.005002,0.010858&amp;z=17 We'd be happy about everyone who feels related to Genode to join us at the wonderful location nearby the river, enjoying both vegetarian and non-vegetarian barbecue and beverages. If you plan to attend, please l</pre> Norman Feske 2011-07-28T11:09:26 http://permalink.gmane.org/gmane.os.genode.announce/13 <pre>The version 11.05 of the Genode OS Framework has just been published and brings along many new things to explore. Our work on this release was motivated by two main goals, advancing the degree of support for the platforms introduced with the previous release and reconsidering one of the most fundamental base APIs of the framework, namely the inter-process communication API. The traditional IPC and client-server APIs of Genode served us well over the last five years and have never been significantly changed. However, during this time period, we gathered plenty of experience about how those APIs are used in practice and where their limitations lie. Some aspects such as the lack of type safety had been repeatedly criticised whereas other supposedly great features remained largely unused. Now, the right time has come to apply our gathered experience for re-approaching the problem. The result is a brand new RPC API that facilitates type safety and ease of use while sticking to the use of no other tool than the </pre> Norman Feske 2011-05-26T14:08:31 http://permalink.gmane.org/gmane.os.genode.announce/12 <pre>Hello, the video material of my talk at the last year's Software Freedom Day event in Amsterdam was just published by Bas de Lange. The talk covers background information about Genode Labs, introduces the high-level Genode OS architecture, and demonstrates the concepts live. http://www.youtube.com/watch?v=Z1IMV3FJO7Q Thanks a lot to Bas for having organized the event and for publishing the footage! </pre> Norman Feske 2011-03-10T13:59:26 http://permalink.gmane.org/gmane.os.genode.announce/11 <pre>We are happy to announce the release of the version 11.02 of the Genode OS Framework. The development is this version was primarily focused on further expanding the platform support of the framework. We are excited about the following three significant improvements in this area. First, we introduced support for the Fiasco.OC kernel, which is a modern capability-based microkernel developed at the Dresden University of Technology and published under GPLv2. Fiasco.OC provides a rich set of features, most notably kernel support for user-level object capabilities (hence the suffix "OC"), multi-processor support, and comprehensive support for the x86_32, x86_64, and ARM architectures. For more information on Fiasco.OC visit http://os.inf.tu-dresden.de/fiasco Second, we upgraded the support for the NOVA hypervisor to version 0.3, and thereby, promoted the NOVA version of Genode to cover the entire Genode API. So, NOVA can now be recommended as base platform for Genode without reservations. The project website</pre> Norman Feske 2011-02-24T13:43:28 http://permalink.gmane.org/gmane.os.genode.announce/10 <pre>We are pleased to announce the release 10.11 of the Genode OS Framework. This release focuses on new features presented on the Genode Live CD two weeks ago http://genode.org/download/live-cds and includes many improvements behind the scenes. Release-notes summary for version 10.11 --------------------------------------- * Base framework * Support for user-level dataspace managers * Operating-system services and libraries * Final transition to new init concept * Virtual network bridge (Proxy ARP) * Alpha blending and tinted views in Nitpicker GUI server * ISO9660 file-system server * Device drivers * Execution environment for gPXE drivers * Enhancements of audio-processing infrastructure * Revised GEM/DRM support * Improved integration of paravirtualized Linux with Genode components * Qt4 nitpicker-plugin widget * HTTP-based block device in new gems repository * Platform-specific refinements on OKL4, Pistachio, and Linux You can find the complete release notes for the version 10.11 here</pre> Christian Helmuth 2010-11-30T08:55:14 http://permalink.gmane.org/gmane.os.genode.announce/9 <pre>The Genode project proudly presents a bootable live CD representing the current state of the Genode OS Framework. Features like running Linux as browser plugin, 3D hardware acceleration, sound support, and a complete networking infrastructure are incorporated to form a single coherent setup. The live CD boots in less than 10 seconds (on VirtualBox) into a a fully functional GUI with a selection of five demo subsystems. Each subsystem highlights a different aspect of the framework. A paravirtualized Linux, seamlessly integrated into Genode's native Nitpicker GUI, can be found right next to native Qt4/Webkit applications. The port of the Arora web browser stands out for featuring a plugin that can execute arbitrary Genode subsystems in a secure way. This tech demo features multiple browser-embedded application including a complete Linux system, streaming a disk image live over HTTP from a web server. Another subsystem runs the famous gears OpenGL demo via the native port of Gallium3D/Mesa, offerin</pre> Stefan Kalkowski 2010-11-16T18:47:27 http://permalink.gmane.org/gmane.os.genode.announce/8 <pre>Hello all, we are happy about having been invited to present Genode at this year's Software Freedom Day, which will take place on 17th of September at the Centrum Wiskunde &amp; Informatica (CWI - http://www.cwi.nl) at the Science Park (http://www.scienceparkamsterdam.nl/nc/en) in Amsterdam. The event aims to bring government, business, and education together to support and promote Open-Source and free software, open standards, open file formats, and open hardware. With our presentation, we will introduce the Genode OS Framework to the community. If you are interested in gathering with other open-source enthusiasts or to get in touch with us, please consider joining this event. The entrance is free. Website of Software Freedom Day 2010: http://www.softwarefreedomday.eu Best regards Norman </pre> Norman Feske 2010-09-02T10:58:46 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.os.genode.announce