Rk3588's have HDMI input (I think with hdcp decoding) that you can use v4l2 API. The multiplane API can be a bit tricky, but otherwise somewhat trivial