Pinebook Pro with RK3588?

[WEF]

I dont think it is much to expect that HDMI out would eventually work given that pine sells a docking station with an HDMI port. Which actually used to work for a second monitor, i used exactly that for about 6 months when i got my PBP and docking station. It stopped working after an update and i continue to hope that this will work at some point.
If you buy the add on kitchen option, shouldn't you expect the oven will work?
The same issue applys to the Pinetab2 which i am using the docking station for ethernet, external monitor through HDMI does not work there either.