Hi, Am 27.02.24 um 19:05 schrieb Aurelien Jarno:
On 2024-02-27 10:59, René Engelhard wrote:Is rv-osuosl-05 hardware which supports this? (db.debian.org/machines.cgi doesn't really shed any light here; they all say "Hifive Unmatched"). Just running a build on my machine again, too.All riscv64 buildds and porterbox, including rv-osuosl-05, are using Hifive Unmatched boards as the LDAP says: https://www.sifive.com/boards/hifive-unmatched
Yeah, I got that...
Nothing has changed recently on the hardware side.
So there is no actual difference between 03 and 05? Interesting...Then I more wonder why it failed the test on -03 and "worked" on -05 now where the difference is just -O0 vs. -O2.
Just trying on ricci, too. Regards, Rene