[HelenOS-devel] FYI: microkernel.info community site

Jakub Jermář jakub at ...85...
Mon Mar 14 10:04:53 CET 2016

Hi Vasily,

On 03/14/2016 09:00 AM, Vasily A. Sartakov wrote:
> this is a good initiative, I like it.
> Also, it seems to me, the content of the site can be enhanced by getting-started matherials of relevant projects, or (I prefer), MOOC project about microkernels with basics, history, architectures and examples based on different projects. Also, the final (graduate) practice of this project could be participation in GSOC or just resolving important issues in bug trackers. In my opinion, such course should be sufficient to turn any systems-friendly developer (student) to microkernel practitioner/developer/enthusiast capable to solve engineering issues of open source projects.
> Several years ago we recorded some lectures bout the L4Re and Genode (Thanks Bjoerd, Norman, Udo):
> https://www.youtube.com/channel/UCwBjjt60Mmp9X3N71mba3GQ
> And of course there are many addition materials in any other projects, so, I do not think that it will be complicated to make joint course.
> Finaly, about the diffusion of microkernels, I think it is important to see how all (and other) projects can be used to solv actual issues, thus, examples of application could also enchance the content (and impact) of the site.

Yes, the site can be definitely enhanced to contain more useful stuff
such as tutorials, papers, blog entries and microkernel news. It could
also serve as a basis for a prospective microkernel umbrella
organization for the various summer of code programs and also the
Microkernel devroom at FOSDEM in order to maximize chances of being

Focusing on the web site's content for now, I've already merged PR's of
several people and am willing to continue within, including the creation
of a menu and subpages for the above content as soon as it appears.


>> just FYI, I have set up a simple web page[1] to promote the wider
>> microkernel community and its goals. So far, the page comes with a brief
>> description of the microkernel concept and an incomplete list of
>> microkernel projects with links to each project's web. The description
>> is made out of the first two sentences I found in the "What is XYZ"
>> section or elsewhere on the web of the respective project. I also took
>> the freedom to use the respective project's logo (or what I believed was
>> the project's logo) for promoting it.
>> I hope you will find this small web a good idea. It was inspired by a
>> similar (though a little bit more informative) site set up by the
>> unikernel community [2]. The sources of the [1] web are hosted on Github
>> [3], so feel free to submit issues or PR to make the site better.
>> Please send me a PM if there are any issues pertaining your project's
>> cartouche that cannot be dealt with using Github.
> --
> Vasily A. Sartakov
> sartakov at ...104...
> _______________________________________________
> Devel mailing list
> Devel at ...366...
> https://sel4.systems/lists/listinfo/devel

More information about the users mailing list