It looks as if this device is totally proprietary from the free and open distribution of Debian 9. I runs light and fast, but there are several firmware failures in systemd's init. Gnome's sound ctrl shows a two devices, one is not available and the other is a headphone jack, that does not appear to work anyways. Fedora seems to work around with their anaconda and sound drivers, HDMI sound is available. I would like to see this box with Debian 9 support as I do my own coding without Windoze big bag of corporate drivers that pass as garbage at WHQL where they employ underpaid monkeys and baboon slaves to develop and test.