Need help with wiki?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

452 Stars 31 Forks 24 Commits 6 Opened issues


Wiki for rump kernels

Services available


Need anything else?

Contributors list

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 [email protected] mailing list.

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

  • Repo: main pages for repositories hosted under
  • Platforms: descriptions of platforms that rump kernels run on

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)

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.