Re: [libre-riscv-dev] microwatt feature request: "switch off all optimisations" mode