everetto89

FPU Plugin - GDB can't find FPU Register

1

Hi, I generated the Briey SoC with FPU Plugin with the following configuration: ``` new FpuPlugin( externalFpu = false, p = new FpuParameter( withDouble = false ) ), ``` For...