Wiki for rump kernels
The developer of this repository has not created any items for sale yet. Need a bug fixed? Help with integration? A different license? Create a request here:
This page lists high-level guidelines for editing http://wiki.rumpkernel.org/.
Use a page title of the form "Category: Subject". The categories are used for creating the navbar on the wiki.
The current categories are:
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:
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
http://wiki.rumpkernel.org/article-name, e.g. http://wiki.rumpkernel.org/Platforms for the platforms page. To link to a rump kernel repository (currently hosted on Github), use
http://repo.rumpkernel.org/reponame, e.g. http://repo.rumpkernel.org/buildrump.sh for buildrump.sh. Avoid linking to non-rumpkernel.org 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)