if you do this for the second or nth time, please make sure to modify the
command line to (note --reinstall argument):
sudo apt-get install --reinstall \
linux-image-3.5.7.2-xenomai-2.6.2.1-ubuntu \
linux-headers-3.5.7.2-xenomai-2.6.2.1-ubuntu
unless numbers change, there's a chance the i
This time, a new tack: atop the old vanilla 3.5.7 + 2.6.2.1 Xenomai,
apply the vanilla 3.5.7 to stock ubuntu lts-3.5.0-23.35 diffs. Thanks
to cradek for the idea.
Note changed package name, to represent addition of ubuntu patches.
sudo apt-get update
# update kernel and headers (for buildin
