see thread at http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-March/004870.html