Re: [GTALUG] Western Digital's open source RISC-V core