From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4B71339F.6050300@domain.hid>
Date: Tue, 09 Feb 2010 11:06:23 +0100
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
References: <20100204105700.GB20669@domain.hid>	<4B6ADA01.2080803@domain.hid>	<20100205103744.GA12904@domain.hid>	<4B6BFEDC.60403@domain.hid>	<b88603c31002050439n790f4f71kd6e152198de511f2@domain.hid>	<4B6C1E66.2000008@domain.hid>
	<4B6C2D59.9060200@domain.hid>	<b88603c31002050727p1decfdacm919d3f2278fdf2f0@domain.hid>	<4B7019AA.8020102@domain.hid>
	<b88603c31002080633v1b9ee7b4s2a6ee82eeaab644d@domain.hid>
In-Reply-To: <b88603c31002080633v1b9ee7b4s2a6ee82eeaab644d@domain.hid>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai-help] Force switch back to primary domain
List-Id: Help regarding installation and common use of Xenomai
	<xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/listinfo/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: Henri Roosen <henriroosen@domain.hid>
Cc: Jan Kiszka <jan.kiszka@domain.hid>, xenomai@xenomai.org

Henri Roosen wrote:
> We run on an x86 (32bit) system on chip (VortexDX chip).

I could not find the sources for the vortexDX kernel, do they exist, or
are you using a generic x86 configuration?

-- 
					    Gilles.