There have been about 30 different official and unofficial ports to various kernels and hardware types https://www.debian.org/ports/ #releasingstretch

Submitted on
By Paul Wise