"default layout"
Xenomai baseline
Merge with v2.0-frozen branch
fix naming inconsistencies
Regenerate autotools files
add missing inclusion directive
Adapt doc generation script to svn & commit generated documentation
move non distributed PDFs to nodist/pdf
Check calling context in ioctl() support
Check calling context in ioctl() support
Sanitize queue and heap binding helpers
Use common function to emit all output
Fix a few naming issues
Upgrade to I-pipe/x86 1.0-06
Generated documentation update
remove executable property where not needed
Add --verbose option to xeno-config
Fix Xenomai domain id
Allow overriding xeno-config on make command line, compile latency too
Documentation fixes