[Microkernel-devroom] FOSDEM'13

[Norman Feske]

Hi Vasily,

I love experience stories! So I would greatly appreciate your talk with
this outline, in particular because it interfaces with the stuff we at
Genode Labs are working on. Also, I think your proposal is refreshing in
the way it reports from the perspective of a microkernel user rather
than from a kernel developer's view point.

Squeezing all this content into 20-25 minutes seems pretty challenging
though.

Best regards
Norman

On 12/04/2012 11:30 AM, Sartakov A. Vasily wrote:
> 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.