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 :(

Cheers

Zbynek