Start Here
Setting Up
Programming
Help!
Contribute
Sitemap
FAQ
Troubleshooting
Troubleshooting x86
Dealing with SMI-induced latency
Dealing with IRQ sharing on x86
Getting help
Xenomai mailing lists
Tips
Porting Xenomai to a new ARM SoC
x86-specific configuration tips
Running applications as a non-privileged user
Running Xenomai on VirtualBox
Using xeno-test for benchmarking purpose
Building Debian packages
