= 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]].