Xen Documentation - misra

• misra
• Documenting violations
• MISRA C rules for Xen
• Xen static analysis