Quick Guide
Users' Guide
Operators' Guide
IHK Developers' Guide
McKernel Developers' Guide
IHK Specifications
McKernel Specifications
What's New
The specifications pdf is here
here