Op 15 jan. 2013, om 18:16 heeft Karel Gardas <karel.gardas at centrum.cz> het volgende geschreven:
> Well, if you make some board available in DMZ I'm certainly interested to run at least configure on it from GHC HEAD to see what we need to hack in order to add support for RPi into GHC HEAD.
>> Unfortunately GHC HEAD is now in a wrong state w.r.t. LLVM based build, but Austin is working on this. I think I can hack support for RPi in the meantime for testing later on fixed GHC HEAD LLVM build...
>> Karel
This might be helpful, it's a guide to emulate a raspberry pi using qemu, which I was using to (try to) build GHC:
http://xecdesign.com/qemu-emulating-raspberry-pi-the-easy-way/
While I haven't done any real measurements, it seemed somewhat faster too on my machine.
Thijs