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