Wiki for rump kernels
Clone or download
Type Name Latest commit message Commit time
Failed to load latest commit information.
img Adds tutorial/nginx_browser image Jul 6, 2015
logo a hyperlink to LICENSE Oct 1, 2014
talks add slides from fosdem2012 talk Feb 26, 2016 fix mailing list address May 26, 2015

Wiki Guidelines

This page lists high-level guidelines for editing


Use a page title of the form "Category: Subject". The categories are used for creating the navbar on the wiki.

The current categories are:

  • Builds: automated builds, tests, etc.
  • Howto: Howtos document specific tasks
  • Info: General information, e.g. historical info, TODO-lists, etc.
  • Performance: important points about optimization, tuning, etc.
  • People: personal spaces for rump kernel project contributors. Edit only your own page.
  • Project ideas: detailed description of a project looking for idle hands.
  • Tutorial: Instructions starting from zero and working towards mastering a subject area (e.g. debugging or networking)

If the article does not fit into the existing categories, please propose a new category on the mailing list.

Additionally, the following categories exist, but they should be used only if the respective code exists and is available:

Do not change titles after an article has been published, since that will alter the article's URL and render any hyperlinks to the article invalid.


Use the format [[text|article title]] to link to other articles on this wiki, e.g. to link to the platform page you could use [[Platforms supported by rump kernels|Platforms]]. The advantage of this format is that dead links will be flagged when the page is rendered.

To link to this wiki from an external source, use the URL, e.g. for the platforms page. To link to a rump kernel repository (currently hosted on Github), use, e.g. for Avoid linking to URLs.


Articles in the wiki are available under Creative Commons CC0.

(Note: CC0 applies only to the wiki, not to the files hosted in this repository)