http://bugs.libre-riscv.org/show_bug.cgi?id=178 --- Comment #44 from Jean-Paul.Chaput at lip6.fr --- OK, I got it configured. Now, I'm still stuck with ieee754 missing nMigen module. -- You are receiving this mail because: You are on the CC list for the bug.