MIG, examples, docs

[jr]

Hello,
I'm breaking trough some papers about MIG, and servers writing.
Where can i find mig ? I'd like to see how it produces code. 

questions: all hurd's servers are written with mig's help? where can i get
description/documentation of particular servers? 

thanks for any help, 
sorry for my poor english.
[EMAIL PROTECTED]