admin

Latest content created by this user

Page
Genode OS Framework	Jun 26, 2008
Graphical User Interfaces	Jun 26, 2008
Welcome to Genode Labs	Jun 26, 2008
dummy home	Jun 30, 2008
File
Design of the Bastei OS Architecture	Jul 29, 2008
Demonstration of DOpE — a Window Server for Real-Time and Embedded Systems (extended abstract)	Jul 15, 2008
A Nitpicker’s guide to a minimal-complexity secure GUI	Jul 15, 2008
Overlay Window Management: User interaction with multiple security domains	Jun 26, 2008
The Nizza Secure-System Architecture	Jun 26, 2008
Folder
Publications	Jun 26, 2008
Products	Jul 01, 2008
News	Jun 26, 2008
Services	Jun 25, 2008
Company	Jun 25, 2008
Image
Screenshot of the DOpE window server	Jun 26, 2008
Screenshot of the Scout tutorial browser	Jun 26, 2008
Screenshot of the Nitpicker GUI server	Jun 26, 2008
Large Folder
Events	Jun 25, 2008
Users	Jun 25, 2008
Collection
Genode Labs News	Jun 26, 2008
Genode Labs News	Jun 26, 2008
Events	Jun 23, 2008
Past Events	Jun 23, 2008