December 2012 - microkernel-devroom

[Microkernel-devroom] FOSDEM'13
by Sartakov A. Vasily 07 Dec '12

07 Dec '12

Hello. I would like to discuss my ideas for FOSDEM'13 uKernel devroom with you. We are a small Russian RnD company, and we try to apply uKernel based research in our Secure Devices. The main idea of my presentation - our experience in uKernel applying. That will be retrospective view on previous year. This is brief structure of my presentation: * Small Info. ksys labs - We are a small Russian RnD company and we use uKernel in our products. * our first uKernel implementation - long story of small project - our trusted screen based on OMAP3: L4Linux, looks good but absolutely unusable (Problem with device support) our L4Linux with omap3 OTG support L4Linux + L4re + Dope (ugly look and hard to make GUI) L4Linux + L4re + qt (failed port) L4Linux + L4Re + Disko GUI (prototype with rich functional) Omap4 + Genode + QT * Other problems: Small number of developers, small community, etc. 1-2 times per year Fiasco.OC is released Huge time gap between publications and real application of the results Systems Summer School'12 - our new experience * Our contribution: Our L4Linux fork L4Re software (openssl, Disko GUI, drivers, etc) Our small Genode contribution * Next year hardened Fiasco.OC ppc'32 based network platform I'm interested in show room (demo slot) with real devices, but i'm not sure that we will have nice looking prototypes at the time of FOSDEM. We have imx53 board with Genode and several different omap3 based sticks. I will try to find something interesting for examples. * title of your talk (will be printed in the FOSDEM booklet) Microkernels and You - long path of the small project. * your full name (will be printed in the FOSDEM booklet) Sartakov A. Vasily * a short abstract ksys labs - small enterprise involved in research and development in area of Information security. Experimental microkernel is a good base for secure devices, but it is hard to use. Our experience in applying, development, our ideas and wishes are main subjects of the presentation. * duration of your talk (please, no longer than 45 minutes) 20-25 minutes. -- Sartakov A. Vasily

2 2

[Microkernel-devroom] [TALK-PROPOSAL] Reaching puberty - How Genode is becoming a general-purpose OS
by Norman Feske 05 Dec '12

05 Dec '12

Hello, it's amazing how lively this list has become in the last couple of days. So here is my proposal for Genode's contribution to the dev room: :-) * title of your talk (will be printed in the FOSDEM booklet) Reaching puberty - How Genode is becoming a general-purpose OS * your full name (will be printed in the FOSDEM booklet) Norman Feske, Genode Labs * a short abstract The Genode OS Framework is a tool kit for composing special-purpose OSes out of a growing number of ready-to-use components such as device drivers, protocol stacks, runtimes, and in particular microkernels. One year ago, we declared our goal to bring the framework to a level where its developers can use it as day-to-day OS. The talk will briefly introduce the fundamental ideas behind Genode's architecture followed by the presentation of the corner-stone for pursuing our goal to run GNU on Genode, namely the Noux runtime environment. Growing up is not easy. Hence, the second part of the presentation will be an experience report on the challenges we encountered at various levels of the software stack and the ways of how we overcame them. * duration of your talk 45 min Best regards Norman

1 0

[Microkernel-devroom] [TALK-PROPOSAL] OS Hot Topics
by Martin Decky 05 Dec '12

05 Dec '12

Hi folks, here comes my talk proposal: * title of your talk (will be printed in the FOSDEM booklet) OS Hot Topics * your full name (will be printed in the FOSDEM booklet) Martin Děcký * a short abstract The talk presents several research-driven and industry-driven hot topics, bleeding edge development and fresh new ideas from the operating systems domain. We focus primarily on microkernel-based systems and several of the presented topics are illustrated on HelenOS, but the talk is not strictly limited to this scope. * duration of your talk 45 minutes Best regards Martin Decky

1 0

[Microkernel-devroom] TUD:OS talk proposal
by Björn Döbel 05 Dec '12

05 Dec '12

Hi all, I'd like to propose a talk for the microkernel devroom at FOSDEM. > title of your talk (will be printed in the FOSDEM booklet) Romain: OS Support for Replicating Binary Applications > your full name (will be printed in the FOSDEM booklet) Björn Döbel > a short abstract Operating systems research in fault tolerance has mainly focussed on dealing with faulty software, while resilience against transient hardware errors has been dealt with mostly by applying compiler techniques or using RAD-hardened hardware components. L4Re's Romain replication framework allows to replicate binary user applications on top of the Fiasco.OC microkernel. Replicas are run independently without modifications and are validated whenever they perform externalization events, such as system calls. In the talk I'm going to introduce Romain's architecture and discuss issues we had to deal with regarding replication of multithreaded applications in a capability-based system. > duration of your talk (please, no longer than 45 minutes) 30-40 min

1 0

[Microkernel-devroom] FOSDEM 2013 - Microkernels / Component-based OSes devroom
by Stefan Kalkowski 04 Dec '12

04 Dec '12

FOSDEM 2013 - Microkernels / Component-based OSes devroom *CALL FOR PARTICIPATION* http://fosdem.org/2013 The developers of several free and open-source component- and/or microkernel-based operating systems will meet at FOSDEM 2013 in Brussels, Belgium and will share a developer room. The devroom is currently looking for content in the form of talks related to the area of component- and/or microkernel-based operating systems. Possible topics include, but are not limited to: * OS introduction to developers of other OS * Subsystems and architecture * Hardware and device drivers * Tools and languages * Release engineering and testing * Experience and learning from mistakes * Technical challenges * Community and life with an OS-project * Academia and education Please send your talk proposal(s) no later than by 2012-12-15 to: microkernel-devroom at lists.fosdem.org Make sure to include the following in your proposal: * title of your talk (will be printed in the FOSDEM booklet) * your full name (will be printed in the FOSDEM booklet) * a short abstract * duration of your talk (please, no longer than 45 minutes) The final devroom schedule (along with accepted talks) will be announced on the above mailing list on 2012-12-22. Moreover, the speakers will be notified via e-mail. The schedule will be also published on the FOSDEM web and in the FOSDEM booklet after 2013-01-10. If you do not want to give a talk yourself, you may still send suggestions for what else you would like to see, or do in the devroom. Please send your suggestions to the above mailing list. The devroom is scheduled for Saturday of February 2. The seating capacity of the room is 74 seats. Any changes will be announced in the above mailing list.

3 7