Genode Labs News

Software Freedom Day 2010

Wir freuen uns über die Gelegenheit, unsere Entwicklungen auf dem diejährigem Software Freedom Day am 17.September im Centrum Wiskunde & Informatica (CWI) im Science Park in Amsterdam vorzustellen. Ziel der Veranstaltung ist, den öffentlichen Sektor, Unternehmen und Bildungseinrichtungen zusammenzubringen, um den Einsatz und die Entwicklung von Open-Source und freier Software zu fördern. Mit unserem Beitrag werden wir der Community das Genode OS Framework näher vorstellen.

Webseite des Software Freedom Day 2010...

Genode OS Framework Version 10.08

Mit der Version 10.08 erfährt das Genode OS Frameworks eine umfangreiche Erweiterung seiner Gerätetreiber. Wireless Networking-Chips und GPUs für hardware-beschleunigte Grafik gelten allgemeinhin als die anspruchsvollsten Geräteklassen bezüglich Treiberunterstützung. Deshalb freuen wir uns besonders, die Herausforderung, diese Geräte unter Genode zu unterstützen, angenommen zu haben. Mit Gallium3D und Intel GEM erhält die modernste Open-Source Grafiktreiberarchitektur Einzug in unser Framework und erlaubt Genode-Anwendungen somit die Nutzing von OpenGL. Unser Ziel, Genode um Unterstützung für wireless Networking zu erweitern, konnten wir mit der Portierung des MadWifi-Stacks erreichen. Neben diesen Neuerungen, erhält unsere Lösung mit dem aktuellen Release eine neue Infrastruktur für Blockgeräte, einen neuen ATAPI-Treiber, die aktuelle Qt4 Version 4.6.3 sowie die Möglichkeit, unseren dynamischen Linker auf ARM EABI Plattformen zu verwenden.

Erfahren sie weitere Details in den Release Notes der Version 10.08...

Genode OS Framework Version 10.05

Mit der Version 10.05 des Genode OS Frameworks folgen wir unserem dreimonatigen Release-Zyklus. Durch ein neues Sicherheitskonzept erweitert die neue Version den Einsatzhorizont des Framework um Anwendungsfelder, in denen Sicherheitspolitiken flexibel umgesetzt werden müssen. Weiterhin hält Sound-Unterstützung Einzug in das Framework und die Integration des paravirtualisierten OKLinux-Kernels mit Genode-Komponenten wurde stark verbessert. Als Meilenstein für den Einsatz von Genode als General-Purpose-Betriebssystem möchten wir den Arora-Web-Browser hervorheben, der nun als Genode-Prozess in das System integriert werden kann.

Genode OS Framework Version 10.02

Mit der Version 10.02 des Genode OS Frameworks erweitern wir die bereits breite Basis an unterstützen Kernen um zwei weitere moderne Mikrokerne, NOVA und Codezero. NOVA ist ein Hypervisor zur effizienten Ausführung von virtuellen Maschinen auf der x86-Architektur. Codezero ist ein Mikrokern, der speziell auf die Bedürfnisse von ARM-basierten eingebetteten Systemen ausgelegt ist. Zusätzlich adressiert die neue Version Echtzeitanwendungen durch ein neu eingeführtes Konzept zur Verwaltung von Echtzeit-Prioritäten. Funktionell haben wir das Framework um die Portierung eines minimalen Python-Script-Interpreter erweitert.

Die umfangreichen Erweiterungen der unterstützten Basisplattformen sollen dem Framework verhelfen, zu einer vereinheitlichten Plattform für die Implementierung dynamischer Anwendungen auf mikrokernbasierten Systemen zu werden.

Erfahren Sie weitere Hintergrundinformationen über die neu unterstützten Kerne sowie die umfangreiche Liste an Neuerungen in den Release Notes der Version 10.02...

Genode Labs wird erwachsen

Im Frühjahr 2008 gründeten wir Genode Labs in der einfachst möglichen Gesellschaftsform. Die Gesellschaft bürgerlichen Rechts (GbR) bot die beste Möglichkeit, unser Unternehmen kostengünstig und ohne großen bürokratischen Aufwand zu gründen. In Dezember haben wir die GbR-Phase unseres Unternehmens mit der Neugründung einer GmbH schließlich hinter uns gelassen und werden unsere Geschäfte über die Genode Labs GmbH weiterführen. Für uns symbolisiert dieser wichtige Schritt den Abschluss der "Boot-Prozedur" unseres Unternehmens.

Genode OS Framework 9.11

Mit dem aktuelle Release beginnen wir, das starke Fundament des Genode OS Frameworks, welches wir mit den vorangegangenen Versionen aufgebaut haben, voll auszuschöpfen. So ist es uns nun möglich, eine Linux Virtualisierungslösung bereitzustellen, die es erlaubt, Linux-Anwendungen isoliert von sicherheitskritischen Anwendungen, implementiert als native Genode-Prozesse, gleichzeitig auszuführen. Die Infrastruktur, die für solche Prozesse zur Verfügung steht, wird dabei stets verbessert, sodass mit dem aktuellen Release Socket-basierte Netzwerkunterstützung und weithin eingesetzte Bibliotheken wie Freetype2 zur Verfügung stehen. Die Mächtigkeit der nativen Genode-Umgebung wird am besten durch unsere Portierung der Webkit Browser-Engine deutlich.

Auch bezüglich Hardware-Unterstützung gibt es deutliche Verbesserungen. So unterstützt Genode ab dem aktuellen Release USB-Mass-Storage-Devices. Weiterhin wurden die ersten Schritte unternommen, das Framework neben x86-basierten auch ARM-basierten Plattformen zugänglich zu machen.

Erfahren Sie mehr über diese und viele weitere Verbesserungen des Frameworks in den Release Notes der Version 9.11...

Live CD demonstriert Neuheiten in Genode

Kurz nach unserem einjährigen Firmengeburtstag sind wir überaus froh mit einer neuen Live CD und interessanten, neuen Szenarien aufwarten zu können. Neben dem bereits bekannten Demo Szenario der letzten Live CD, demonstriert die neue Ausgabe die Unterstützung von QT4 Applikationen und zeigt wie Linux auf Genode ausgeführt wird. Die Demo CD ist unter PC Hardware, Qemu und VirtualBox getestet.  Zum Download auf der Genode Projekt-Webseite...

Genode FPGA Graphics auf FPGA-Industriemodulen von Trenz Electronic

Auf einer Größe von nur 40,5mm x 47,5mm integriert das TE0300 FPGA-Industriemodul einen Xilinx Spartan-3E FPGA, DDR-RAM, Flash-Speicher und Stromversorgung auf einem Modul, welches sowohl als OEM-Board oder in Kombination mit einem Carrier-Board eingesetzt werden kann. Das im Bild dargestellte TE0304 Carrier-Board macht die I/O-Pins des FPGAs für Video-Output und PS/2-Input verwendbar und ermöglicht somit die Anwendung von Genode FX auf dieser Plattform. Die Kombination von Genode FX mit der TE0300 + TE0304 Plattform stellt somit eine vollwertige energiesparende und wenig komplexe Embedded-GUI-Lösung dar.

In Zusammenarbeit mit Trenz Electronic haben wir  Referenzdesigns für eine Reihe von TE0300 Modulen in den offizielle Quellbaum von Genode FX aufgenommen. Mit dem nächsten Release wird der TE0300-Support somit zu einem festen Bestandteil der Genode-FX-Distribution.

Erfahren Sie mehr über Genode FX...

Besuchen Sie den Webshop von Trenz Electronic...

Genode OS Framework Version 9.08

Wir freuen uns, die Veröffentlichung der Version 9.08 des Genode OS Frameworks bekannt geben zu dürfen. Dieses Open-Source Framework ermöglicht die Entwicklung von Spezialbetriebssystemen für Bereiche in denen dynamische Anwendungen auf hohe Robustheits- und Sicherheitsanforderungen treffen. Der Ansatz unserer Lösung besteht hierbei in der Kombination von Mikrokerntechnologie mit einer eigenen Betriebssystemarchitektur, die darauf optimiert ist, die Komplexität und damit die Fehleranfälligkeit kritischer Anwendungen im Vergleich zu gängigen Betriebssystemlösungen drastisch zu verringern.  Eine einzigartige Eigenschaft ist hierbei die Möglichkeit, das Framework auf verschiedenen Mikrokernen oder auch auf dem Linux-Kern einzusetzen.

Die Verbesserungen der neuen Version 9.08 betreffen nahezu alle Teile des Frameworks, wobei besonderes Augenmerk auf die Überarbeitung von grundlegenden Mechanismen zur Synchronisation und zum Speichermanagement gelegt wurde.

Ein Großteil der Änderungen bezieht sich auf Kern-spezifische Teile des Frameworks, deren Größe mit der neuen Version drastisch reduziert werden konnten.  Im Ergebnis verbleiben als komplette Abstraktion vom Betriebssystemkern lediglich 1800 (OKL4), 1500 (Linux), 1600 (L4/Fiasco), bzw. 2000 Zeilen C++-Code.  Mit der Linux-Version des Frameworks haben wir unser Ziel erreicht, Genode komplett von der konventionellen GNU/Linux-Infrastruktur loszulösen.  Dies macht diese Variante des Frameworks zu einer der kleinsten Linux-kern-basierten Betriebssystemlösungen.

Weiterhin wurde die Funktionalität des Frameworks um einen dynamischen Linker ergänzt, welcher den Ressourcenbedarf beim Einsatz von Qt4-basierten Anwendungen auf Genode drastisch reduziert.

Erfahren sie weitere Details zum aktuellen Release in den Release Notes der Version 9.08...

Einjähriges Bestehen des Genode OS Frameworks

Seit der Veröffentlichung der initialen Version des Genode OS Frameworks vor einem Jahr im August 2008 ist viel passiert. Wir sind stolz auf das gemeinsam Erreichte und möchten das einjährige Bestehen mit einer kleinen Grill-Party am Elbufer begehen:

13. August, 18:00 Uhr, Nähe der Moritzburger Str. 1 in Dresden

(siehe Karte bei Google Maps)

Wir würden uns freuen, Sie oder euch dort begrüßen zu dürfen! Eine kurze Nachricht an

info@genode-labs.com

als Teilnahmebestätigung wäre nett.

Genode OS Framework Version 9.05

Artikel über das Genode FPGA-Grafik-Projekt

Genode FX ist eine Kombination aus Hardware-IP und Software, die es erlaubt, komplexe grafische Benutzeroberflächen mittels low-cost FPGAs als System-on-Chip-Lösungen zu realisieren. Für die designierten Anwendungsbereiche Steuerungs- und Messtechnik besteht besonderes Augenmerk auf der zeitlichen Vorhersagbarkeit grafischer Ausgaben und einer garantierten Reaktionszeit auf Benutzereingaben. Der Artikel bietet einen Überblick über das zugrunde gelegte Hardware-Design und unsere Software-Architektur, die solche zeitlichen Garantien ermöglicht.

Genode FX: an FPGA-based GUI with Bounded Output Latency and Guaranteed Responsiveness to User Input
Norman Feske and Matthias Alles
Technical Report, Genode Labs, May 2009

Am 14. Mai stellten wir das Genode FPGA-Grafik-Projekt auf dem 10. Workshop Mikrocontroller-Applikation in Mittweida vor. Die folgende deutschsprachige Zusammenfassung unseres Artikels wurde im begleitenden Tagungsband veröffentlicht.

Genode FX: eine FPGA-basierte grafische Benutzerschnittstelle
Norman Feske
Tagungsband, 10. Workshop Mikrocontroller-Applikation, Mittweida, 14. Mai 2009

Genode FPGA Graphics Version 9.03

Im Gegensatz zu den vorangegangenen Versionen von Genode FX, die auf Hardware-Verbesserungen fokussiert waren, bringt die neue Version 9.03 nun das erste große Software-Update. Wir haben den Software-Stack um wichtige Funktionen, wie die Darstellung kantengeglätteter Schriften und die Konfigurierbarkeit in Laufzeit erweitert. Zusätzlich wurden interne Umstrukturierungen vorgenommen, um die zukünfige Unterstützung weiterer Pixelformate stark zu vereinfachen. Das Highlight dieser Version ist jedoch ein neues Demo-Projekt mit einer Reihe neuer Funktionen, wie ein interaktives Terminal zur direkten Kommunikation mit der GUI-Software, eine Slideshow, ein Einstellungsdialog, und ein Grid-Widget-Demo. Besuchen Sie die Sourceforge-Seite des Projektes zum Download...

Dissertation zum Thema "Securing Graphical User Interfaces" veröffentlicht

Schad-Software wie Trojanische Pferde und Spyware stellt nach wie vor ein beträchtliches Sicherheitsproblem dar. Wichtige Angriffspunkte dieser Schadprogramme sind die überaus komplexen grafischen Benutzeroberflächen (GUI) heutiger Betriebssysteme. Die eingesetzten GUI-Architekturen sind bemüht, einen Kompromiss zwischen Zielen zu finden, die scheinbar im Konflikt zueinander stehen: Kompatibilität zu existierenden Anwendungen, Quality-of-Service, Performance und Sicherheit. Das letztere Ziel spielte bislang weithin eine untergeordnete Rolle. Die Herausforderung der Arbeit von Norman Feske bestand in der Lösung dieses Konflikts. Die hierfür von ihm entwickelten Schlüsseltechniken wurden dabei eingehend durch Implementierungen und praktische Experimente untersucht. Das Resultat ist eine Architektur, die eine extrem geringe Source-Code-Komplexität, den Schutz von GUI-Anwendungen voreinander, den Schutz vor Spyware und Trojanischen Pferden mit Kompatibilität zu vorhandenen Anwendungen verbindet.

Publikationsseite von genode.org...

Direkter Link zum PDF

Genode OS Framework Version 9.02

Mit dem Februar-Release des Genode OS Frameworks setzen wir unsere Bemühungen fort, Genode auf weiteren Mikrokern-Plattformen verfügbar zu machen. Die meisten heutigen Mikrokern-Entwicklungen benötigen eine passende Programmierumgebung für Anwendungen. Als Gegenstück zum Kern sind diese meist stark kernspezifisch.  Mit Genode ist es ab jetzt möglich, Anwendungen zu entwickeln, die sowohl auf Linux, dem L4/Fiasco-Kern als auch dem L4ka::Pistachio-Kern unverändert lauffähig sind.

Neben der Erweiterung der unterstützten Kern-Plattformen haben wir die durch Genode angebotene Funktionalität stark erweitert. Das aktuelle Release bietet nun erstmalig einfache Netzwerkunterstützung sowie die Unterstützung grafischer Qt4-Anwendungen.

Erfahren sie mehr in den Release Notes der Version 9.02...

Zum Download des Genode OS Frameworks...

Embedded World 2009

Dank der freundlichen Unterstützung von Trenz Electronic haben wir Gelegenheit, unser Unternehmen als Mitaussteller auf der Embedded World 2009 zu präsentieren.  Im Mittelpunkt wird dabei unsere FPGA-basierte GUI-Technologie (Genode FX) stehen.  Wenn sie Interesse haben, uns persönlich zu treffen und die praktische Anwendung von Genode FX zu sehen, würden wir uns sehr über ihren Besuch freuen:

3.-5. März 2009
Halle 12, Stand 12-536

Dissertation über "Securing Graphical User Interfaces"

Norman Feskes Arbeit mit dem Titel "Securing Graphical User Interfaces" befasst sich mit der Lösung des Konflikes zwischen unterschiedlichen Designzielen von GUI-Architekturen: Sicherheit, Kompatibilität, Performance und Quality-of-Service. Grundlage der Arbeit sind die gewonnenen Erfahrungen aus umfangreichen praktischen Arbeiten, die u.a. zur Entstehung des DOpE real-time window servers und des Nitpicker GUI servers führten. Es ist geplant, den Volltext der schriftlichen Arbeit nach der Einarbeitung der Reviews zu veröffentlichen.

Genode OS Framework Version 8.11

Bei der Entwicklung der nun veröffentlichten Version 8.11 des Genode OS Frameworks standen zwei fundamentale Anforderungen im Vordergrund: die Verfügbarkeit von Gerätetreibern und die Portierbarkeit existierender C-Bibliotheken auf Genode. Unser neu eingeführtes Gerätetreiber-API namens DDE Kit ermöglicht die einfache Portierung vorhandener C-Treiber-Codes. Um die Nutzbarkeit der Fülle existierender C-basierter Software zu erhöhen, haben wir das Basis-Framework um eine komplette C-Runtime erweitert.

Unter den vielzähligen Verbesserungen, die ausführlich in unseren Release-Notes beschrieben sind, finden sich eine neue API für asynchrone Kommunikation, Typsicherheit von Capbilities, und mit managed Dataspaces ein wegweisendes experimentelles Feature.

Erfahren Sie weitere Details in unseren Release Notes...

Zum Download des Genode OS Frameworks Version 8.11...

Live-CD des Genode OS Frameworks

Die veröffentlichte Live-CD bietet einen Überblick über die grundlegenden Ideen der Genode-Architektur. Die CD kann direkt unter Qemu, VirtualBox und auf standard PC-Hardware gestartet werden. Zum Download auf der Genode Projekt-Webseite...

Genode FX für Virtex-4 FPGAs

Mit unserem detailiierten Porting Guide möchten wir Entwickler unterstützen, Genode FX an weitere Plattformen anzupassen. Das Tutorial dokumentiert den Arbeitsprozess anhand des weit verbreiteten Virtex-4-basierten ML405 boards. Die angewandte Methodik sollte jedoch leicht auf andere Plattformen übertragbar sein. Zusätzlich zur Unterstützung des ML405, bietet unser neues Release 2008-10 und das öffentliche Subversion-Repository nun Beispielprojekte für die Spartan-3E- und Spartan-3AN-Plattformen. Besuchen Sie die Genode-FX-Produktseite...

Newsletter Archiv

Die Veröffentlichung unseres zweiten Newsletters ist ein guter Anlass, diese Informationen zu archivieren. Falls Sie unseren Newsletter nicht regelmäßig per E-Mail empfangen, können Sie die Historie der bisherigen Rundschreiben nun in unserem Newsletter Archiv verfolgen.

Genode FX für high-end Xilinx Virtex5 FPGAs

Die Virtex5-Serie ist die high-end FPGA-Produktlinie von Xilinx. Virtex5 FPGAs, wie auf dem ML507-Board verwendet, besitzen einen vollständigen PowerPC 440 Core. Mit dem Release 2008-09 bietet Genode FX nun Unterstützung für diese FPGAs. Genode-FX-Anwendungen können nun ohne Quelltextänderungen sowohl für die Microblaze-Architectur als auch für den PowerPC übersetzt werden. Das ML507 Demo-Projekt, was nun in der offiziellen Genode-FX Distribution enthalten ist, betreibt den PowerPC mit 300MHz und nutzt den DVI-Anschluss des ML507 boards für die Video-Ausgabe mit einer Auflösung von 1024x768.

Genode FPGA Graphics Projekt veröffentlicht

Genode FX ist eine Kombination aus Hardware und Software, die es ermöglicht, anspruchsvolle grafische Benutzeroberflächen mittels herkömmlicher und kostengünstiger FPGAs, wie z.B. Xilinx' Spartan3-Serie, zu realisieren. Die integrierte Lösung ergänzt Xilinx' Microblaze CPU Softcore durch speziell entwickelte Hardware-Komponenten für die Ansteuerung von Displays und Eingabegeräten.Softwareseitig ist der Kern von Genode FX eine kompletter GUI-Software-Stack, der besonders auf ressourcenbeschränkte eingebettete Systeme zugeschnitten ist. Zusätzlich zur bereits vorhandenen Unterstützung der Microblaze-Architektur planen wir die Anpassung von Genode FX an den PPC Core, der in high-end Virtex5 FPGAs Verwendung findet. Dies macht Genode FX zu einer skalierbaren Lösung, die sich sehr einfach an Anforderungen heutiger und zukünftiger Anwendungen ausrichten lässt. Für den leichten Einstieg bietet die veröffentlichte Version ein vollständiges Demonstrationsprojekt, was direkt auf handelsüblichen Spartan3A Starter Kit Boards einsetzbar ist. Erfahren Sie mehr über Genode FX...

Genode Labs im Web

Genode OS Framework Version 8.08

Nach intensiver Vorbereitung während der letzten Wochen freuen wir uns, die erste offizielle Version des Genode OS Frameworks fertiggestellt zu haben. Diese Version umfasst alle Basiskomponenten, Dienste und Gerätetreiber, die zur Ausführung des mitgelieferten interaktiven Demo-Szenarios notwendig sind. Das Genode OS Framework is sowohl unter Linux mittels libSDL als auch auf blanker PC-Hardware mittels des L4/Fiasco Mikrokerns lauffähig. Besuchen Sie die genode.org Webseite zum Download der aktuellen Version...

Projektwebseite genode.org

Bislang gab es kaum offizielle Informationen zu unserem Genode Betriebssystemprojekt auf dieser Webseite. Mit dem heutigen Start der Community-Webseite genode.org möchten wir Genode offiziell als Open-Source Community-Projekt vorstellen. Auf der Webseite gibt es die neuesten Nachrichten rund um das Projekt, umfangreiche Dokumentationen, Tutorien, ein Wiki, Mailing-Listen, und vieles mehr. Wir hoffen, dass uns die Webseite dabei hilft, eine lebendige und produktive Entwicklergemeinschaft für unser Projekt zu begeistern um Genode in Zusammenarbeit mit uns voranzubringen. Das erste offizielle Open-Source-Release ist für den 6. August geplant. http://genode.org

Vielen Dank für Verbesserungsvorschläge

Seit der Veröffentlichung der ersten Version unserer Webseite vor zwei Wochen haben wir viele Reaktionen erhalten. Vielen Dank an alle, die uns mit ihren nützlichen Vorschlägen geholfen haben, die Webseite zu verbessern. Einigen ist dabei die etwas irritierende Frame-Weiterleitung aufgefallen, die wir als Zwischenlösung während des Transfers unseres Domain-Namens genutzt haben. Inzwischen ist der Domain-Name bei unserem Web-Host angekommen, sodass nun Bookmarks für beliebige Inhalte unserer Seite angelegt werden können und unser RSS Feed von der folgenden, weniger kryptischen Adresse bezogen werden kann: http://genode-labs.com/neu/neuigkeiten/RSS

Neue Webseite für unser Unternehmen

Mit unserer neuen Webseite bieten wir einen zentralen Ort, der alle Informationen über unser Unternehmen und unsere Projekte zusammenfasst. Gegenwärtig haben die Informationen über unsere Dienstleistungen und Produkte lediglich Überblickscharakter. Wir planen, diese Informationen durch regelmäßige Updates in den kommenden Wochen zu verfeinern. Zusätzlich ist der Start einer dedizierten Projekt-Webseite für das Genode OS Framework noch im Juli geplant.

Um die letzten Neuigkeiten über Genode Labs zu erfahren, empfehlen wir unseren englischsprachigen Newsletter, der in Abständen von ein bis zwei Monaten regelmäßig über unser Unternehmen informiert. Newsletter Registrierung

Umzug in unsere neue Arbeitsumgebung

Auf unserer Suche nach passenden Büroräumen im Raum Dresden sind wir auf das Bonhoff Unternehmer Zentrum gestoßen, einer Stiftung mit besonderer Ausrichtung auf die Unterstützung von Unternehmensgründern. Das Bürogebäude der Stiftung befindet sich in Dresden-Löbtau und bietet uns einen funktionalen und kostengünstigen Arbeitsort. Unsere Besucheradresse ist:  Genode Labs, Tharandter Str. 13, 01159 Dresden, Germany. Unser Bürogebäude bei Google Maps...

Genode Labs gegründet

Unser Unternehmen mit dem Namen Genode Labs existiert nun offiziell. Aufgrund der gewählten Rechtsform trägt der vollständige Name zusätzlich die Information "Feske & Helmuth Systementwicklung GbR". Nach dem Einzug in unsere neue Büroumgebung ist unser erstes größere Ziel die für Juli geplante Veröffentlichung unserer existierenden Software. Einhergehend mit der Veröffentlichung werden wir eine dedizierte Projektwebseite ins Leben rufen, die sämtliche Ressourcen rund um das Genode OS Framework zusammenfasst und Entwickler zum Mitwirken motivieren soll. Neben den Vorbereitungen der Veröffentlichung liegt unser Fokus als neugegründetes Unternehmen in der Projektakquise. Wir freuen und schon darauf zu sehen, ob die Veröffentlichung unserer Software auch diesbezüglich Früchte trägt.