I have 32 bit 12.04 Ubuntu. I followed instructions below to install a new kernel image:
*Install the xenomai kernel:
sudo dpkg -i linux-headers-3.2.21-xenom
sudo dpkg -i linux-image-3.2.21-xenomai
*make sure it will show up as a GRUB-entry when booting:
sudo update-initramfs -c -k 3.2.21-xenomai+
*reboot. uname -r should now show: 3.2.21-xenomai+
But my grub remains same after these instuctions, also I have run the attached script.
What must I do? Thanks.