[fedora-arm] Raspberry Pi Fedora Remix 17 update

[valent.turkovic at gmail.com]

On Fri, Jul 6, 2012 at 5:40 PM, Chris Tyler <chris at tylers.info> wrote:
> A long-overdue update on the Raspi remix...

Will Fedora Raspberry Pi have armhf "hard float" optimizations ?