It's work in progress, but not currently in a state that's worth trying to build. The core 4.17 kernel runs fine, but there is no working hardware decode (and S905 isn't strong enough for 1080p software decode) and HDMI audio is unreliable, and I didn't even think about DVB hardware support yet. Once things are in a state where public testing is possible or desirable, we'll announce images.