Internals of gnumach

[Bruno A . C . Ferreira]

Hi,

I wold like to know where I can find information about the internals of 
gnumach - IPC, VM etc. I need also some good links about Microkernels.

I read the Reference Manual of Gnumach, but I need more info.

Thanks,
Bruno