diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-13 10:36:54 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-13 11:11:01 +0200 |
| commit | 38cfa89677eabc85fc23e31e24cee85fb1ecfa54 (patch) | |
| tree | 45822eb14eb11bdf7e96f0b8f3c5c7f0b9f81b88 /faq/which_microkernel.mdwn | |
| parent | d8ba0864d2cc74397960060b79a8c9154bb16d34 (diff) | |
| download | web-38cfa89677eabc85fc23e31e24cee85fb1ecfa54.tar.gz web-38cfa89677eabc85fc23e31e24cee85fb1ecfa54.tar.bz2 web-38cfa89677eabc85fc23e31e24cee85fb1ecfa54.zip | |
Rework FAQ machinery to be based on tags instead of filenames.
Diffstat (limited to 'faq/which_microkernel.mdwn')
| -rw-r--r-- | faq/which_microkernel.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/faq/which_microkernel.mdwn b/faq/which_microkernel.mdwn index 4c3f0a42..5432dd92 100644 --- a/faq/which_microkernel.mdwn +++ b/faq/which_microkernel.mdwn @@ -9,6 +9,8 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled [[GNU Free Documentation License|/fdl]]."]]"""]] +[[!tag faq/general]] + [[!meta title="What happened with the Hurd ports to the OSKit Mach / L4 / Coyotos / Viengoos microkernels?"]] |