I wonder when Raspberry Pi will release their first RISC-V boards. Those boards would follow the "spirit" of RISC-V: - no hdmi, but displayport (usb-c). - no

I wonder when Raspberry Pi will release their first RISC-V boards. Those boards would follow the "spirit" of RISC-V: - no hdmi, but displayport (usb-c). - no mpeg encoder/decoder (av1 instead). For those who would know why: hdmi and mpeg are not royalty/licencing free in some "barbaric" countries.