Submitted by Anonymous on March 15, 2006 - 2:15pm.
Hi all,
is it possible to find somewhere informations about differences between GNU/Mach and L4 microkernel? I found only a few notes written by OKUJI Yoshinori in 2000, but these informations are probably outdated :(