Dear Sir,
I followed the way as Instructed in the website
http://www.xenomai.org/index.php/Building_Debian_packages, for the installation
of Xenomai patch in my Ubuntu Machine.
I am reminding you that I am using UBUNTU 10.04.
Kernel version linux-2.6.32.18
xenomai-2.5.4.
While Building everything was fine and I was able to create the images
successfully.
The following packages was made sucessfully:
linux-image-2.6.32.18-xenomai-2.5.4
linux-headers-2.6.32.18-xenomai-2.5.4
But at the time of Installation with the following command
dpkg -i linux-image*.deb
I got the problem in the following steps. and the bootloader(GRUB) was not
updated with the xenomai patched kernel image
Searching for default file ... found: /boot/grub/default
Testing for an existing GRUB menu.lst file ... found: /boot/grub/menu.lst
Searching for splash image ... none found, skipping ...
Ignoring Xen kernel on non-Xen host: vmlinuz-2.6.32.18-xenomai-2.5.4
Please Suggest me the possible solution for the above problem.
Thanks and Regards,
Zafar
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
