diff options
author | Thomas Schwinge <thomas@codesourcery.com> | 2013-09-25 21:59:24 +0200 |
---|---|---|
committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-09-25 21:59:24 +0200 |
commit | bba1488c7be842e5d0311ffa6541373d63b1164c (patch) | |
tree | 383f15ec9c57978e5675f0ba03bd94b7cf407731 /microkernel/l4.mdwn | |
parent | afce216e724614c6c01ed3ec85f6d5a50dc5037d (diff) | |
parent | eccdd13dd3c812b8f0b3d046ef9d8738df00562a (diff) |
Merge remote-tracking branch 'fp/master'
Conflicts:
open_issues/secure_file_descriptor_handling.mdwn
Diffstat (limited to 'microkernel/l4.mdwn')
-rw-r--r-- | microkernel/l4.mdwn | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/microkernel/l4.mdwn b/microkernel/l4.mdwn index de311497..ef39616b 100644 --- a/microkernel/l4.mdwn +++ b/microkernel/l4.mdwn @@ -1,5 +1,5 @@ -[[!meta copyright="Copyright © 2004, 2006, 2007, 2008, 2010, 2011, 2012 Free -Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2004, 2006, 2007, 2008, 2010, 2011, 2012, 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 @@ -30,6 +30,14 @@ is now stalled. Genode and L4: http://www.youtube.com/user/drsartakov?feature=watch +# IRC, freenode, #hurd, 2013-08-26 + + < Spyro> also + < Spyro> what's the basic difference between mach and L4? + < braunr> l4 is a nanokernel whereas mach is a hybrid with high level + messaging and virtual memory services + + [[!ymlfront data=""" sel4: |