From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4D32276A.2080406@domain.hid>
Date: Sun, 16 Jan 2011 00:02:02 +0100
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
References: <4D306110.7000104@domain.hid> <4D3061DA.4000002@domain.hid>
	<4D3065DE.8000107@domain.hid>
In-Reply-To: <4D3065DE.8000107@domain.hid>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai-core] [PATCH] Add INTEL_IDLE to list of problematic
 config	options
List-Id: Xenomai life and development <xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/options/xenomai-core>,
	<mailto:xenomai-core-request@domain.hid>
List-Archive: </public/xenomai-core>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-core-request@domain.hid>
List-Subscribe: <https://mail.gna.org/listinfo/xenomai-core>,
	<mailto:xenomai-core-request@domain.hid>
To: Jan Kiszka <jan.kiszka@domain.hid>
Cc: Xenomai core <Xenomai-core@domain.hid>

Jan Kiszka wrote:
> Am 14.01.2011 15:46, Gilles Chanteperdrix wrote:
>> Jan Kiszka wrote:
>>> See TROUBLESHOOTING for explanation.
>> Ok. Please update the wiki too.
>>
> 
> Done.

I think we should also copy it to the x86 configuration page:
http://www.xenomai.org/index.php/Configuring_x86_kernels

And I wonder in fact if this information should be duplicated or if the
FAQ should not point to this page.

-- 
                                                                Gilles.