[beagleboard] PWM generation with GPIO using Xenomai

Linux for hard realtime? Is this school or real work?

From Android 4G on HTC Sense dual core SnapDragon.

Linux for hard realtime? Is this school or real work?

Where in my post have you find "hard realtime" words?