• Overview
• Installation
• Application setup
• Troubleshooting
• Hardware
• Tips
◦ Porting POSIX applications
◦ Finding spurious relaxes
◦ Configuring for x86
Kernel configuration
Dealing with shared IRQs
Dealing with SMIs
◦ Running as regular user
◦ Xenomai on VirtualBox
◦ Serial 16550A driver
◦ Resolving errno codes
◦ Building Debian packages
◦ Getting Help
• Real-time ethernet
◦ Configuration
◦ Setup
◦ Programming
• Legacy
◦ Installing Xenomai 2
• Migrating to Xenomai 3
API & Commands
Archive
✉ Mailing list
Home
Xenomai 4
Xenomai 3
> Tips
Tips