What a (slightly insane) combination. An #iPad powers a #raspberrypi via USB-C (SSH to the Pi from the iPad works as well).
In addition the HDMI output from the Pi gets send into a HDMI capture card and from there to the iPad where the Orion app by @6e1e8b32 displays it on the iPad. Means you can watch it boot 😁. 

The Pi runs #NixOS btw. 😜

https://swiss-talk.net/system/media_attachments/files/111/177/397/296/232/784/original/a255092de24868bb.jpeg