Hi All,I'm interested in learning the RISC-V architecture and I'm probably going to buy the Microchip PIC64GX Curiosity Kit. I'm familiar with NetBSD and maybe down the road I would like to work on a port of it to this board. Is RISC-V still of any interest to NetBSD and is someone still working with/on it?
Thanks, Charles Nelson