From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <17240.8312.995069.805447@domain.hid>
Date: Fri, 21 Oct 2005 00:55:52 +0200
Subject: Re: [Xenomai-core] [patch] rtdm without CONFIG_XENO_OPT_PERVASIVE
In-Reply-To: <43581E3B.7050005@domain.hid>
References: <43581E3B.7050005@domain.hid>
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: Jan Kiszka <kiszka@domain.hid>
Cc: xenomai@xenomai.org

Jan Kiszka wrote:
 > Hi,
 > 
 > this fixes an unresolved symbol in xeno_rtdm when
 > CONFIG_XENO_OPT_PERVASIVE is switched off.

Applied, as well as its little brother for the posix skin. Thanks.

-- 


					    Gilles Chanteperdrix.