[Xenomai-help] HELP: Xen kernel on non-Xen host

[Xenomai-help] HELP: Xen kernel on non-Xen host

[Zafar Iqbal]

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

Re: [Xenomai-help] HELP: Xen kernel on non-Xen host

[Stefan Kisdaroczi]

[-- Attachment #1: Type: text/plain, Size: 1657 bytes --]

On 16.08.2010 07:43, Zafar Iqbal wrote:
> 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.
>   

Try to rename the kernel, don't use 'xen' in the kernel name, example:

vmlinuz-2.6.32.18-xn-2.5.4

That was a problem, years ago. However, using -xenomai-2.5.3 worked
for me with Ubuntu 10.04. (Was just a test with ubuntu, i'm using debian)

If you have grub and not grub2, try to upgrade to grub2.

Stefan

> Thanks and Regards,
> Zafar
>
>
>
> _______________________________________________
> Xenomai-help mailing list
> Xenomai-help@domain.hid
> https://mail.gna.org/listinfo/xenomai-help
>   



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 262 bytes --]