https://groups.google.com/a/groups.riscv.org/d/msgid/sw-dev/18d3ba3a-dc55-4434-9c54-98229b6f4c0e%40groups.riscv.org?utm_medium=email&utm_source=footer does this make any sense? l.