Created attachment 104182 [details]
From Debian bug report: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749172
From: Christian Svensson <email@example.com>
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
on Jan 22, 2017 at 22:21:08.
(provided by the Example extension).