= 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 [[BuildingAPC| 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 == * [[BuildingAKernel/Ubuntu9.10-Kernel2.6.31-Xenomai2.5.2| Ubuntu 9.10 with kernel version 2.6.31 and Xenomai 2.5.2]] * [[BuildingAKernel/Ubuntu12.04-Kernel3.2.21-Xenomai2.6.1| Ubuntu 12.04 with kernel version 3.2.21 and Xenomai 2.6.1]] * [[BuildingAKernel/Ubuntu12.04.5-Kernel3.10.32-Xenomai2.6.4| Ubuntu 12.04.5 with kernel version 3.10.32 and Xenomai 2.6.4]] * [[BuildingAKernel/Ubuntu14.04-Kernel3.14.17-Xenomai2.6.4| Ubuntu 14.04 with kernel version 3.14.17 and Xenomai 2.6.4]]