Re: [PATCH] add better support for Raspberry Pi board

2013-01-29 Thread Karel Gardas
Simon, thanks for this. I've done this patch originally based on the complains on haskell-user mailing list about compilation to RPi. Otherwise I'm not that found of this hardware class, but rather prefer working on ARMv7 or even ARMv8. Anyway, thanks! Karel On 01/29/13 11:27 AM, Simon Mar

Re: [PATCH] add better support for Raspberry Pi board

2013-01-29 Thread Simon Marlow
I've finished this now. I committed the second part of your patch (the DriverPipeline one), fixed up the "detection" of hard-float, which was based on the triple passed to --target but needed some tweaking, and I've made it detect VFPv2 from the C compiler. We should probably be doing the har

Re: [PATCH] add better support for Raspberry Pi board

2013-01-25 Thread Karel Gardas
BTW: I've forgot to mention: hard versus soft float abis are well detected by configure itself. So this is not the problem in my patch. The only issue is in testing/guessing for FPU/NEON. Good way may be to grep /proc/cpuinfo but this is only applicable while doing native compile on ARM-Linux

Re: [PATCH] add better support for Raspberry Pi board

2013-01-25 Thread Karel Gardas
On 01/25/13 09:38 PM, Simon Marlow wrote: This would improve things for RPi, but we shouldn't be guessing here. gcc has predefines for the appropriate features: #define __ARM_PCS_VFP 1 indicates hard-float ABI, and #define __VFP_FP__ 1 indicates VFP presences (2 or 3? I don't know) The prob

Re: [PATCH] add better support for Raspberry Pi board

2013-01-25 Thread Simon Marlow
This would improve things for RPi, but we shouldn't be guessing here. gcc has predefines for the appropriate features: #define __ARM_PCS_VFP 1 indicates hard-float ABI, and #define __VFP_FP__ 1 indicates VFP presences (2 or 3? I don't know) Cheers, Simon On 25/01/13 15:56, Karel Gar

[PATCH] add better support for Raspberry Pi board

2013-01-25 Thread Karel Gardas
This patch adds support for Raspberry Pi board. The board is based on Broadcom BCM2835, which includes ARM1176JZF-S CPU core. The core is classical ARM11 so implementing ARMv6 ISA, but also provides VFPv2 FPU unit. As this looks like fairly popular hardware, in this patch we assume detected ARMv6 h