From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4B713462.6000300@domain.hid>
Date: Tue, 09 Feb 2010 11:09:38 +0100
From: Jan Kiszka <jan.kiszka@domain.hid>
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>
	<4B71339F.6050300@domain.hid>
In-Reply-To: <4B71339F.6050300@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: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Cc: "xenomai@xenomai.org" <xenomai@xenomai.org>

Gilles Chanteperdrix wrote:
> 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?

To my knowledge, this thing is supposed to work with generic, though
pre-historic (PIT/PIC), settings.

Jan

-- 
Siemens AG, Corporate Technology, CT T DE IT 1
Corporate Competence Center Embedded Linux