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
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.
20-25 without questions. So, up to 40 with questions i guess 2012/12/4 Norman Feske <norman.feske@genode-labs.com>:
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.
Microkernel-devroom mailing list Microkernel-devroom@lists.fosdem.org https://lists.fosdem.org/listinfo/microkernel-devroom
-- Sartakov A. Vasily
participants (2)
-
Norman Feske -
Sartakov A. Vasily