From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4D45821D.5090501@domain.hid>
Date: Sun, 30 Jan 2011 16:22:05 +0100
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
References: <AANLkTim_=XGD=Qi-92do496o=q8=itz03jHdSj1EAu-+@mail.gmail.com>
In-Reply-To: <AANLkTim_=XGD=Qi-92do496o=q8=itz03jHdSj1EAu-+@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai-help] Question on using Xenomai patch on Ubuntu 10.10
List-Id: Help regarding installation and common use of Xenomai
	<xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/options/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
List-Archive: </public/xenomai-help>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-help-request@domain.hid>
List-Subscribe: <https://mail.gna.org/listinfo/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
To: Huub van Niekerk <huubvanniekerk@domain.hid>
Cc: xenomai@xenomai.org

Huub van Niekerk wrote:
> Hi,
> 
> Using the standard tools I've installed the xenomai patches for Ubuntu
> 10.10. However, I can't find that I'm actually running a kernel with xenomai
> right now. How can I check whether or not I am? I ask the Ubuntu forum, but
> get no response.
> 
> Thank you for an answer.
http://www.xenomai.org/index.php/Configuring_x86_kernels#Does_Xenomai_work.3F

-- 
                                                                Gilles.