From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <47339212.1030809@domain.hid>
Date: Thu, 08 Nov 2007 17:47:46 -0500
From: "Steven A. Falco" <sfalco@domain.hid>
MIME-Version: 1.0
References: <473391B0.5040809@domain.hid>
In-Reply-To: <473391B0.5040809@domain.hid>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai-core] User space drivers on PPC440
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: xenomai@xenomai.org


>  (i.e. CONFIG_RESOURCES_64BIT is set even though this is a 23-bit 
> processor).
Make that a 32-bit processor. :-[