Hi! I am interested in playing with a RISC-V board, maybe building some packages and such. What is a good board that one can actually buy and that works with NetBSD? I saw the MangoPI but it looks like a pretty small system -- a bit more RAM might be nice. -- Benny