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,
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/
> 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 22.214.171.124 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,
More information about the Rtai