yes, I have successfully running such "grabbed-from-internet" SDK on Poplar. It comes with Linux kernel 3.18 and full drivers for DVB/multimedia parts of SOC.
FYI, I have on it working Enigma2 (open source set-top-box software). On DVB-T2 only, as Tocoding (Poplar's vendor) didn't release DVB-S2 tuner, unfortunately
On the other hand, I must say the HW+SW (Linux) behaves very nicely! No any freezes and/or crashes!
So, nice HW (Poplar devboard, unfortunately with ZERO support from Tocoding) and also nice SW (HiSilicon SDK, unfortunately only commercial)