- microkernel-devroom - lists.fosdem.org

Fwd: FOSDEM 2019 - Microkernels developer room - CfP
by Jakub Jermář 12 Oct '18

12 Oct '18

Also forwarding to the devroom's own list :-) Jakub -------- Forwarded Message -------- Subject: FOSDEM 2019 - Microkernels developer room - CfP Date: Thu, 11 Oct 2018 11:48:24 +0200 From: Sebastian Sumpf <Sebastian.Sumpf(a)genode-labs.com> Reply-To: Genode users mailing list <users(a)lists.genode.org> To: users(a)lists.genode.org FOSDEM 2019 - Microkernels and Component-based OSes devroom CALL FOR PARTICIPATION The developers of several free and open-source microkernel-based operating systems will meet at FOSDEM 2019 [1] in Brussels, Belgium and will share a developer room on Sunday February 03, 2019 [2]. The devroom is currently looking for content in the form of talks and activities related to the area of microkernel-, unikernel-, and componenent-based operating systems. Possible topics include, but are not limited to: * introduction of a specific OS or framework * design of subsystems and the general architecture of an OS * enabling support for hardware (architectures, device drivers) * used languages and tools * maintenance and testing * security and robustness * trends and challenges * use cases, experiences, lessons learned and demos Please use the Pentabarf [3] system to submit your proposals. You do not need to create a new account if you already have one. When in doubt, please use the devroom mailing list [4]. 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 mailing list. The deadline for your proposal is on December the 1st 2018. 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 (one or two paragraphs) * duration of your talk (please, at least 25 and no longer than 55 min) The official devroom schedule (along with the accepted talks) will be announced on December the 15th on the devroom's mailing list and the speakers will be notified via e-mail. The schedule will also be published on the FOSDEM website. About FOSDEM FOSDEM is a two-day event organised by volunteers to promote the widespread use of free and open source software. Taking place in the beautiful city of Brussels (Belgium), FOSDEM is widely recognised as the best such conference in Europe. FOSDEM covers a wide spectrum of free and open source software projects, and offers a platform for people to collaborate. To this end, FOSDEM has set up developer rooms (devrooms) with network/internet connectivity and projectors where teams can meet and showcase their projects. Devrooms are a place for teams to discuss, hack and publicly present latest directions, lightning talks, news and discussions. Besides developer rooms, FOSDEM also offers main tracks, lightning talks, certification exams and project stands. Every year, FOSDEM hosts more than 5000 developers at the ULB Solbosch campus. Participation and attendance is totally free, though the organisers gratefully accept donations and sponsorship. No registration necessary. About the devroom Since the first Microkernel devroom in 2012 this devroom has been part of each following FOSDEM. By now it has become a somewhat institutionalized tradition for the micro kernel community to meet there; to this date over a dozen projects have participated in one way or another. Each of the projects face similar challenges but come up with partially different solutions. Therefore, the goal of the Microkernel devroom is to bring the various projects together, let them exchange ideas, cross-pollinate and socialize. Social events It also has become a habit that the microkernel projects dine together somewhere in Brussels. The year 2019 will not be any different, so there is going to be a microkernel family dinner on Saturday night. We try place a reservation, so we will inform you about the exact location and time later. Consult the FOSDEM web and other projects for additional social events such as the famous FOSDEM-organized Friday Beer Event and the FOSDEM-arranged free sightseeing tours for spouses. Important dates recap * 01.12.2018: Deadline for submissions * 15.12.2018: Schedule published and speakers notified of acceptance * 03.02.2019: The devroom takes places Links [1] http://fosdem.org [2] https://fosdem.org/2019/practical/transportation [3] https://penta.fosdem.org/submission/FOSDEM19 [4] https://lists.fosdem.org/listinfo/microkernel-devroom See you all at FOSDEM! _______________________________________________ Genode users mailing list users(a)lists.genode.org https://lists.genode.org/listinfo/users

1 0

Re: Microkernel devroom 2019
by Jakub Jermář 17 Aug '18

17 Aug '18

On 08/17/2018 12:01 PM, Sebastian Sumpf wrote: > Martin Stein and myself are willing to take over the organization of the > Microkernel devroom at FOSDEM 2019. Thanks & best of luck with the application! Jakub

1 0

Microkernel devroom 2019
by Jakub Jermář 11 Aug '18

11 Aug '18

Hello everybody, the FOSDEM organizers released the CfP [1] and the submission deadline for devroom proposals [2] is on the 20th September. As we did in the past, I would like to pass on the torch of the devroom organizer to the next interested party of the microkernel community. So, please get in touch (preferably on this mailing list) if you want to take over. [1] https://fosdem.org/2019/news/2018-08-10-call-for-participation/ [2] https://submission.fosdem.org/devroom.php Regards, Jakub

2 1

Lightning talks in place of the canceled talk
by Jakub Jermář 01 Feb '18

01 Feb '18

Dear all, we have one canceled talk in the Microkernel devroom: Rux: Development of a Hobbyist Rust Microkernel which was scheduled between 15:55 and 16:25. Philipp had an idea of making this time slot for lightning talks (up to 5 minutes talks). Please do let me know whether you'd like to give a lightning talk or show a short demo of your work. If this doesn't fly, we will simply have a break. Sorry for the late notice. Cheers, Jakub

1 0

Accepted talks and preliminary schedule
by Jakub Jermář 15 Dec '17

15 Dec '17

Hello, it is my pleasure to announce the 11 talks that were accepted by the Microkernel devroom @ FOSDEM 2018: Everything is a device! Lessons learned from experimenting with MH Gianluca Guida GPU resource multiplexing in component based systems Sebastian Sumpf Hurd's PCI arbiter Samuel Thibault Live sculpting a Genode-based operating system Norman Feske Microkernels in the Era of Data-Centric Computing Martin Děcký Reducing CPU usage of a Toro Appliance Matias Vara Rust On L4Re Safe Language Meets Safe Microkernel Sebastian Humenda Rux: Development of a Hobbyist Rust Microkernel An Introduction to Rux Wei Tang Towards capabilities in HelenOS Jakub Jermář User-level networking on Genode Martin Stein Why hardware and operating system engineers need to talk Matthias Lange The preliminary schedule is available at: https://fosdem.org/2018/schedule/events/ Jakub

1 0

FOSDEM 2018 - Microkernels developer room - CfP
by Jakub Jermář 07 Dec '17

07 Dec '17

FOSDEM 2018 - Microkernels developer room CALL FOR PARTICIPATION The developers of several free and open-source microkernel-based operating systems will meet at FOSDEM 2018 [1] in Brussels, Belgium and will share a developer room on Saturday of February 3, 2018 [2]. The devroom is currently looking for content in the form of talks and activities related to the area of microkernel-based operating systems. Possible topics include, but are not limited to: * Introduction of a specific OS or framework * Design of subsystems and the general architecture of an OS * Enabling support for hardware (architectures, device drivers) * Used languages and tools * Maintenance and testing * Security and robustness * Trends and challenges * Use cases, experiences, lessons learned and demos Please use the Pentabarf [3] system to submit your proposals and file it under the track “Microkernels devroom”. You do not need to create a new account if you already have one. When in doubt, please use the devroom mailing list [4]. 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 mailing list. The deadline for your proposal is on December 8. 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 (one or two paragraphs) * Duration of your talk (please, at least 25 and no longer than 45 min) The official devroom schedule (along with the accepted talks) will be announced on December the 15th on the devroom's mailing list and the speakers will be notified via e-mail. The schedule will also be published on the FOSDEM website. About FOSDEM FOSDEM is a two-day event organised by volunteers to promote the widespread use of free and open source software. Taking place in the beautiful city of Brussels (Belgium), FOSDEM is widely recognised as the best such conference in Europe. FOSDEM covers a wide spectrum of free and open source software projects, and offers a platform for people to collaborate. To this end, FOSDEM has set up developer rooms (devrooms) with network/internet connectivity and projectors where teams can meet and showcase their projects. Devrooms are a place for teams to discuss, hack and publicly present latest directions, lightning talks, news and discussions. Besides developer rooms, FOSDEM also offers main tracks, lightning talks, certification exams and project stands. Every year, FOSDEM hosts more than 5000 developers at the ULB Solbosch campus. Participation and attendance is totally free, though the organisers gratefully accept donations and sponsorship. No registration necessary. About the devroom Since the first Microkernel devroom in 2012 this devroom has been part of each following FOSDEM. By now it has become a somewhat institutionalized tradition for the microkernel community to meet there; to this date over a dozen projects have participated in one way or another. Each of the projects face similar challenges but come up with partially different solutions. Therefore, the goal of the Microkernel devroom is to bring the various projects together, let them exchange ideas, cross-pollinate and socialize. Social events It also has become a habit that the microkernel projects dine together somewhere in downtown Brussels after the devroom closes. The year 2018 will not be any different, so there is going to be a microkernel family dinner on Saturday night. The exact location and time will be specified later. Consult the FOSDEM web and other projects for additional social events such as the famous FOSDEM-organized Friday Beer Event and the FOSDEM-arranged free sightseeing tours for spouses. Important dates recap * 08.12.2017: Deadline for submissions * 15.12.2017: Schedule published and speakers notified of acceptance * 03.02.2018: The devroom takes places Links [1] http://fosdem.org/ [2] https://fosdem.org/2018/practical/transportation/ [3] https://penta.fosdem.org/submission/FOSDEM18 [4] https://lists.fosdem.org/listinfo/microkernel-devroom See you all at FOSDEM!

1 2

Re: Devroom submission FOSDME 2018
by Jakub Jermář 05 Oct '17

05 Oct '17

Hi Thomas! On 10/05/2017 02:53 PM, Thomas Schwinge wrote: > On Fri, 15 Sep 2017 09:37:08 +0200, Jakub Jermář <jakub(a)jermar.eu> wrote: >> FYI: I have just filled in the application. > > Congratulations, seems it got accepted: > <https://fosdem.org/2018/news/2017-10-04-accepted-developer-rooms/>, > "Saturday 3 February 2018", "Microkernels". Indeed. Will be sending out CfP sometime next week. Jakub

1 0

Devroom submission FOSDME 2018
by Josef Söntgen 18 Sep '17

18 Sep '17

Hello everybody, the FOSDEM organizers released the CfP [1] and the submission deadline for devroom proposals [2] is on the 20th. September. As we did in the past, I would like to pass on the torch of the devroom organizer to the next interested party of the microkernel community. So, please get in touch (preferably on this mailing list) if you want to take over. [1] https://www.fosdem.org/2018/news/2017-09-03-call-for-participation/ [2] https://submission.fosdem.org/devroom.php Regards, Josef -- Josef Söntgen Genode Labs http://www.genode-labs.com/ · http://genode.org/

3 4

GSoC payment received
by Martin Decky 15 Sep '17

15 Sep '17

Dear all, I confirm that the Microkernel Devroom confederation has just received the GSoC organization payment of 4200 USD (i.e. 500 USD for each of our students, 2200 USD for the Mentor Summit [although we don't send any delegate] and 500 USD as a student travel stipend to a conference). I suggest that we split up the entire amount into three equal shares (1400 USD) and let the representatives of the three projects (Redox, GNU Hurd, MINIX 3) decide individually what to do with the share. If you have other suggestions what to do with the entire amount and/or if you have decided what to do with your share, let us discuss it here. [I acknowledge that there have already been some suggestions. But to avoid the problem of silent assumptions, let us start from scratch.] M.D.

1 0

Microkernel Dinner 2017
by Josef Söntgen 04 Feb '17

04 Feb '17

Hello everyone, as mentioned in the introduction speak, we will meet at 20:30 o'clock a the Grand-Place [1] and from there are going to look for a nice resturant. Unfortunatly I missed to do any assessment of the number of the people that would like to join but I guess we will manage. [1] https://www.google.de/maps/place/Grand+Place/@50.8475811,4.3524608,18z/data… Regards Josef -- Josef Söntgen Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0