diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-18 10:17:57 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-18 10:17:57 +0200 |
| commit | 3eff66251a6609fc2a0c1f4957c053e2cde0db64 (patch) | |
| tree | 3c4f6227dc9377715113a9038289edfb35ddb614 /faq/which_microkernel.mdwn | |
| parent | 763d7b1e8eb23335636c45b5088326ba1b308de3 (diff) | |
| parent | 7e73314d273969ea29cb35bf1b75b6a84d599beb (diff) | |
Merge remote-tracking branch 'dirichlet.SCHWINGE/master'
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?"]] |