From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <44452568.8010901@domain.hid>
Date: Tue, 18 Apr 2006 19:44:08 +0200
From: Philippe Gerum <rpm@xenomai.org>
MIME-Version: 1.0
Subject: Re: [Xenomai-core] [PATCH] Check for NPTL and factor user-space skins
	initialization.
References: <17476.64062.107556.216362@domain.hid>	<44450359.2090203@domain.hid>	<444509F1.5090107@domain.hid>
	<17477.7184.378815.330824@domain.hid>
In-Reply-To: <17477.7184.378815.330824@domain.hid>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
List-Id: "Xenomai life and development \(bug reports, patches,
	discussions\)" <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: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Cc: xenomai@xenomai.org

Gilles Chanteperdrix wrote:
> Philippe Gerum wrote:
>  > > Is this worth doing also ?
>  > 
>  > Some deeply embedded stuff (something like buried in the silicon 
>  > actually...) might configure out CONFIG_PROC_FS, so we can't rely on 
>  > this pseudo-fs to be always present.
> 
> Maybe we could use the information if available?
> 

It would be redundant, since the nucleus already tells us whether sep is 
known or not at kernel level.

-- 

Philippe.