switching to a new kernel ?

Hawkeye I. King hawkeye1 at u.washington.edu
Mon Jan 9 19:06:29 CET 2006


	The file you want to inspect is "/boot/grub/grub.conf".  That's where 
your grub configuration, including kernel and kernel parameters is 
specified.  However, if you compiled your kernel and ran "make install" 
at the end, you should be able to select your kernel at boot from the 
Grub boot menu.  Usually you have a few seconds to choose to interface 
with Grub at boot time.

    Was this your question, or were you asking something more RTAI 

Hope this helps,
Hawkeye King
BioRobotics Laboratory
University of Washington

On Jan 9, 2006, at 6:28, rtai-request at rtai.org wrote:

> Date: Mon, 09 Jan 2006 14:50:38 +0100
> From: Arun Damodaran <d.arun at web.de>
> To: rtai at rtai.org
> Subject: switching to a new kernel ?
> Organization: http://freemail.web.de/
> Hi,
> Im a New bie to Linux and RTAI. I m using Ubuntu 5,04 Linux (2.6.10 
> kernel version) on my PC. As I got to install a realtime system on my 
> PC, I installed Linux Kernel with RTAI 3.2 test 3 
> sucessfully. But i couldnt switch over to the newly installed kernel.I 
> tried to modify the GRUB loader menu.lst file but still i couldnt get 
> a proper procedure for doing this.Could any one of you help me how I 
> can switch to the new kernel.
> Waiting for help,
> Arun

More information about the Rtai mailing list