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/how_to_switch_microkernels.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/how_to_switch_microkernels.mdwn')
| -rw-r--r-- | faq/how_to_switch_microkernels.mdwn | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/faq/how_to_switch_microkernels.mdwn b/faq/how_to_switch_microkernels.mdwn index 21f7a371..a0e57174 100644 --- a/faq/how_to_switch_microkernels.mdwn +++ b/faq/how_to_switch_microkernels.mdwn @@ -1,4 +1,5 @@ -[[!meta copyright="Copyright © 2009, 2010 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2009, 2010, 2013 Free Software Foundation, +Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="Permission is granted to copy, distribute and/or modify this @@ -8,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="How difficult would it be to switch to another microkernel?"]] One would have to reimplement the `mach/` and `sysdeps/mach/` parts of |