Thanks.
On Mac or Linux we are not able to scan for channels using the tuners directly. For these non-Windows OS's we rely on either the Sat>IP device itself or the user, to provide a channel list file. Since your device is not providing one, (satip:X_SATIPM3U element is empty), we are left with only one option: "User provided channel list file".
If the device is capable, you can run its setup and scan for channels, then maybe it will provide an .m3u file. If that is not possible, you can use the downloaded m3u file (as linked by you in your first post). You need to download the rtsp version (channels-rtsp.m3u). The file contains text lines like the following:
#EXTM3U
#EXTINF:-1 tvg-id="5accfb7f40fd9d60bf3598c720519aba" tvg-chno="100",BBC One South
rtsp://10.8.12.11/?src=1&freq=10818&pol=V&msys=DVBS&mtype=QPSK&sr=22000&pids=0,1,16,17,258,5200,5201,5203
#EXTINF:-1 tvg-id="df3f9e27cd1110bd0ed2e9d7d245499d" tvg-chno="101",BBC One HD
rtsp://10.8.12.11/?src=1&freq=10847&pol=V&msys=DVBS2&mtype=8PSK&sr=23000&pids=0,1,16,17,260,5400,5401,5404
...
...
Each #EXTINF: line together with the URL that follows it represents a channel.
Open the file using a text editor and replace all instances of the IP address "10.8.12.11" with the IP address of your device on your LAN "192.168.xxx.yyy"