From mboxrd@z Thu Jan 1 00:00:00 1970 From: gilles.chanteperdrix@xenomai.org (Gilles Chanteperdrix) Date: Thu, 10 Sep 2009 22:44:31 +0200 Subject: ARM linux mailing lists FAQ about floating point support. In-Reply-To: References: <4AA94A40.408@xenomai.org> <4AA9613F.5050103@xenomai.org> Message-ID: <4AA9652F.5000007@xenomai.org> To: linux-arm-kernel@lists.infradead.org List-Id: linux-arm-kernel.lists.infradead.org Nicolas Pitre wrote: > On Thu, 10 Sep 2009, Gilles Chanteperdrix wrote: > >> Nicolas Pitre wrote: >>> On Thu, 10 Sep 2009, Gilles Chanteperdrix wrote: >>> >>>> Hi, >>>> >>>> It seems the FAQ here: >>>> http://www.arm.linux.org.uk/mailinglists/faq.php#f4 >>>> >>>> is a bit outdated, since it does not mention that EABI solves the issue. >>> And just how would EABI solve the issue? >> By allowing to mix soft-float and hard-float programs with only one libc? > > Err... How? Well, I read somewhere that EABI allows mixing soft-float and hard-float code and must have assumed it was true. But you made me doubt. But since compiling both a hard-float program and a soft-float program with the same toolchain does not produce any compilation or link-edition error, I still tend to think it is true. I just need to run the test on actual hardware to finish checking. -- Gilles.