diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-04-18 23:30:30 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-04-18 23:30:30 +0200 |
| commit | 472445b929647b84470e742527dcc24e8b0c60a3 (patch) | |
| tree | 751ebb1b9c1d39017d71bcfbf49e859995e6592e /faq/how_to_switch_microkernels.mdwn | |
| parent | 5cd705e9888e704c8cbe7f7fbe1da6ea7e47797e (diff) | |
| parent | 3eff66251a6609fc2a0c1f4957c053e2cde0db64 (diff) | |
| download | web-472445b929647b84470e742527dcc24e8b0c60a3.tar.gz web-472445b929647b84470e742527dcc24e8b0c60a3.tar.bz2 web-472445b929647b84470e742527dcc24e8b0c60a3.zip | |
Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/web
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 |