path: root/microkernel.mdwn
AgeCommit message (Collapse)Author
2014-02-26Merge commit '9061995e3454f933b80a263cc688b1303da599a7'Thomas Schwinge
2013-09-29Adding link to page about braunr's x15 microkernelBobHam
2013-06-05put back l4ka URL, but keep replacement URLsSamuel Thibault
2013-06-05Fix 404Samuel Thibault
2013-04-13Integrate the Microkernel FAQ into the general FAQ.Thomas Schwinge
2012-08-07IRC.Thomas Schwinge
2010-12-21microkernel/barrelfish: New.Thomas Schwinge
2010-12-07Some bits about L4 and Coyotos.Thomas Schwinge
2009-05-18Simplify some links.Thomas Schwinge
2009-05-18Prefix directives.Thomas Schwinge
2008-10-04microkernel: Link to [[viengoos]].Thomas Schwinge
2008-07-14microkernel/faq: New FAQ infrastructure.Thomas Schwinge
2008-01-18Make the GFDL 1.2+ licensing text toggleable.Thomas Schwinge
2007-12-16Fix some wiki links.Thomas Schwinge
2007-11-09Get rid of the TXT version of the FDL and switch to using the ↵Thomas Schwinge
Texinfo-rendered one instead.
2007-09-21Switch pages to use the ``copyright'' and ``license'' facilities of ↵Thomas Schwinge
ikiwiki's `meta' plugin.
2007-09-21Rework copyright assignment procedure.Thomas Schwinge
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).
2007-09-03Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', ↵Thomas Schwinge
`microkernel/mach/gnumach/', `microkernel/mach/mig/', and elsewhere.
2007-08-30Copyright is assigned to the FSF.Thomas Schwinge
2007-08-19web commit by NealWalfield: Add microkernel introduction (moved from Mach)GNU Hurd wiki engine
2007-08-19web commit by NealWalfield: Create.GNU Hurd wiki engine