From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4EE5E9B1.6040900@domain.hid>
Date: Mon, 12 Dec 2011 12:46:57 +0100
From: Damir Anicic <Damir.Anicic@domain.hid>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Xenomai-help] How to get librtdk.so built
List-Id: Help regarding installation and common use of Xenomai
	<xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/options/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: xenomai@xenomai.org

Hi!

I am missing librtdk.so.
Which option, and where, kernel or xenomai,
do I have to enable to get librtdk.so built?

Regards,

Damir