Tether RPi to iPad Pro via Ethernet over USB-C 

This page is referenced in: