diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-03-26 00:27:11 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-03-26 00:27:11 +0100 |
| commit | 10288350709d006710bcdfb747ba9d1a1208d69b (patch) | |
| tree | 8f1adaa3a84f543cc9c90e83eeba65bdef74dce0 /microkernel/l4.mdwn | |
| parent | d463634b179b77b2802bf78110c3ce0a0d6ed64c (diff) | |
history/port_to_another_microkernel: New. Based on other pages.
Diffstat (limited to 'microkernel/l4.mdwn')
| -rw-r--r-- | microkernel/l4.mdwn | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/microkernel/l4.mdwn b/microkernel/l4.mdwn index 45929842..7af5e6fc 100644 --- a/microkernel/l4.mdwn +++ b/microkernel/l4.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2004, 2006, 2007, 2008, 2010 Free Software +[[!meta copyright="Copyright © 2004, 2006, 2007, 2008, 2010, 2011 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable @@ -20,7 +20,8 @@ on formally verifying an L4 microkernel. * {{$sel4}} -There was a GNU/Hurd [[history/port_to_L4]], which is now stalled. +There was a GNU/Hurd [[port to L4|history/port_to_another_microkernel]], which +is now stalled. [[!ymlfront data=""" |