Created attachment 104182 [details]
From Debian bug report: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749172
From: Christian Svensson <firstname.lastname@example.org>
Date: Sat, 24 May 2014 21:37:01 +0200
Tags: upstream patch
This trivial patch adds support for or1k.
I think all of our supported platforms use IEEE floats. I'm just going to send a patch that codifies that assumption, rather than adding OpenRISC to the list-of-everything.
Fixed with commit 50d5fc192b1558de048447498c876ff28a3433e6