From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4C991345.7020808@domain.hid>
Date: Tue, 21 Sep 2010 22:19:17 +0200
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: [Xenomai-core] X86 kernel configuration checklist
List-Id: Xenomai life and development <xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/listinfo/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: xenomai-core <xenomai@xenomai.org>


Hi,

I added a new page on the wiki:
http://www.xenomai.org/index.php/Configuring_x86_kernels

and tried and reference it in various places (Debian packages, FAQ about
x86). Please feel free to complete and revise it.

The intent is to use it as an answer to new comers questions, instead of
constantly rehashing the same advices.

TIA,

-- 
                                                                Gilles.