aboutsummaryrefslogtreecommitdiff
path: root/microkernel.mdwn
Commit message (Collapse)AuthorAgeFilesLines
* Move article mirrors to footnotesMutoShack2019-09-061-3/+3
|
* Fix broken linkMutoShack2019-09-061-1/+3
|
* Add "External Links" sectionMutoShack2019-03-241-0/+4
|
* Comment out "old" copyright for overwriteMutoShack2019-03-241-2/+1
|
* Squashed listMutoShack2019-03-241-12/+2
|
* Add titleMutoShack2019-03-241-0/+2
|
* Merge commit '9061995e3454f933b80a263cc688b1303da599a7'Thomas Schwinge2014-02-261-1/+1
|\
| * Adding link to page about braunr's x15 microkernelBobHam2013-09-291-0/+2
|/
* put back l4ka URL, but keep replacement URLsSamuel Thibault2013-06-051-2/+3
|
* Fix 404Samuel Thibault2013-06-051-1/+2
|
* Integrate the Microkernel FAQ into the general FAQ.Thomas Schwinge2013-04-131-4/+4
|
* IRC.Thomas Schwinge2012-08-071-1/+3
|
* microkernel/barrelfish: New.Thomas Schwinge2010-12-211-0/+2
|
* Some bits about L4 and Coyotos.Thomas Schwinge2010-12-071-7/+25
|
* Simplify some links.Thomas Schwinge2009-05-181-1/+1
|
* Prefix directives.Thomas Schwinge2009-05-181-2/+2
|
* microkernel: Link to [[viengoos]].Thomas Schwinge2008-10-041-1/+1
|
* microkernel/faq: New FAQ infrastructure.Thomas Schwinge2008-07-141-0/+2
|
* Make the GFDL 1.2+ licensing text toggleable.Thomas Schwinge2008-01-181-3/+5
|
* Fix some wiki links.Thomas Schwinge2007-12-161-1/+3
|
* Get rid of the TXT version of the FDL and switch to using the ↵Thomas Schwinge2007-11-091-1/+1
| | | | Texinfo-rendered one instead.
* Switch pages to use the ``copyright'' and ``license'' facilities of ↵Thomas Schwinge2007-09-211-9/+7
| | | | ikiwiki's `meta' plugin.
* Rework copyright assignment procedure.Thomas Schwinge2007-09-211-7/+0
| | | | | | Move the copyright assignment text out of the wiki pages and instead make it part of the web-editing page's template. Update text as per suggestions of Richard M. Stallman (private email, 2007-09).
* Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', ↵Thomas Schwinge2007-09-031-0/+6
| | | | `microkernel/mach/gnumach/', `microkernel/mach/mig/', and elsewhere.
* Copyright is assigned to the FSF.Thomas Schwinge2007-08-301-1/+18
|
* web commit by NealWalfield: Add microkernel introduction (moved from Mach)GNU Hurd wiki engine2007-08-191-1/+4
|
* web commit by NealWalfield: Create.GNU Hurd wiki engine2007-08-191-0/+12