MiracleCast使えなかったって書いてるんじゃないかと

>>368
RaspberryPiで動くかどうかはチェックしていないが
https://gitlab.gnome.org/GNOME/gnome-network-displays
これの開発経緯は以下
https://blogs.gnome.org/benzea/2019/01/30/gnome-screencast/