Yeah, it seems odd that it has PowerPC but not RISC-V.