microkernel-devroom

Download

microkernel-devroom@lists.fosdem.org

December 2015

1 participants
2 discussions

List of accepted talks for the Microkernel devroom @ FOSDEM 2016
by Jakub Jermar 18 Dec '15

18 Dec '15

Hi, it is my pleasure to announce the list of accepted talks for the Microkernel devroom @ FOSDEM 2016: An exploration of the seL4 kernel from Genode's perspective Norman Feske Porting HelenOS to RISC-V Martin Děcký Always in the shadow: the history of Minix-vmd Philip Homburg Porting Nix to Genode: Package management without a canonical file system Emery Hemingway Hurd, Rump kernel, sound, and usb Samuel Thibault Tools that helped to build HelenOS Jakub Jermář Genode's TrustZone demo on the USB Armory: Application of Genode as microhypervisor for Linux on an open source computer - story, design, and use Martin Stein The MH experiment: An hardware-inspired microkernel interface Gianluca Guida

1 0

Reminder: Microkernel-devroom CfP deadline is on this Sunday
by Jakub Jermar 07 Dec '15

07 Dec '15

Hi folks, the CfP deadline for the Microkernel devroom at FOSDEM 2016 is due this Sunday. See the original CfP [1] for information on what to do if you would like to give a talk about some microkernel-related topic. At the same time, I would like to encourage you to submit a talk proposal. It would be shame not to let the wider microkernel community know about the latest and greatest developments in your project. Lastly, please forward this reminder to whoever you think may want to give a talk in the devroom and is not among the recipients of this message. Thanks, Jakub [1] http://trac.helenos.org/wiki/Devroom2016

1 0