This subthread is about avoiding the privacy issues of smart TVs. They're worse with an Apple TV and Apple ID.

Is there a good Raspberry Pi SD image for the Pi 4 that can be used to receive 4k airplay streams and output to HDMI?

I ask because I don't think that is a viable solution compared to the ATV4k.