Hey,
I really like this projects, but i'm not aware of microkernel designs, so i will like if you point us a literature of give some explanatio of this iris kernel.