The link configures the kernel for my particular machine (many modules are disabled). After selecting that .config file in menuconfig/xconfig, run build-kernel-package-smp.sh to produce a group of kernel deb files. Install the kernel-image and kernel-headers debian packages before configuring rtai-magma by running the configure-magma-smp.sh script, then build and install. I use "make && sudo make install" on rtai, and the uninstall is easy (rm -rf /usr/realtime-kernel-version).

At the outset, I ran into odd problems with the smp realtime kernel, but now it seems to be working OK. Whether it's just a fluke to work on any particular reboot, or whether I changed something but just don't know what, I can't tell you. But the machine where I'm running this has passed the emc2 testsuite a few dozen times on this boot which is encouraging.

Files currently attached to this page: