https://bugs.libre-soc.org/show_bug.cgi?id=414 --- Comment #1 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> --- microwatt has DMI which is needed to do side by side instruction running and comparison. -- You are receiving this mail because: You are on the CC list for the bug.