From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <44E9C535.3050400@domain.hid>
Date: Mon, 21 Aug 2006 16:37:41 +0200
From: Jan Kiszka <kiszka@domain.hid>
MIME-Version: 1.0
Subject: Re: [Xenomai-help] Oops on PPC405EP
References: <44E9B5A1.3010102@domain.hid>	<44E9BA20.4000607@domain.hid>
	<17641.49824.304831.889667@domain.hid>
In-Reply-To: <17641.49824.304831.889667@domain.hid>
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature";
	boundary="------------enigD5078B1FB3FA5139661D727B"
List-Id: Help regarding installation and common use of Xenomai
	<xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/listinfo/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: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Cc: xenomai@xenomai.org

This is an OpenPGP/MIME signed message (RFC 2440 and 3156)
--------------enigD5078B1FB3FA5139661D727B
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: quoted-printable

Gilles Chanteperdrix wrote:
> Heikki Lindholm wrote:
>  > Since your hardware AFAIK does not have an FPU, shouldn't you be=20
>  > compiling Xenomai without hardware FPU support?
>=20
> Maybe we could prevent this mistake in Kconfig ?
>=20

I already wanted to ask the same.

Do we have such a dependency on other archs as well?

Jan


--------------enigD5078B1FB3FA5139661D727B
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFE6cU1ncNeS9Q0k+IRAsRvAJ4jXMj/uxOg629n3PNfXigvGu6gEgCfRLr8
LNbQz2AE3lX9yL+eVCENEIo=
=Xvqj
-----END PGP SIGNATURE-----

--------------enigD5078B1FB3FA5139661D727B--