Version 5 (modified by cv, 8 years ago) (diff)

Adding 14.04 info

Building a Real-Time Kernel for use with Barrett Products

This page indexes instructions for building Barrett's Xenomai-enabled kernels. If you are not interested in building your own kernel but want to configure a PC, you might be interested in our Building a PC page. The instructions on this page are not polished or guaranteed to work. They are provided as a convenience and

Kernel Instructions