@anticapitalista:
I only found 3.17.10 as legacy-kernel. Is that what you referred to?
-> Installed and does not have the sound driver either ;-( Am I misunderstanding something?

Regards,

Torsten

Debian has a 3.16 kernel in its Debian jessie repo. I think you mean 3.7.10 (not 17)

There is a snd-cs4281.ko module in /lib/modules/4.4.10-antix.1-amd64-smp/kernel/sound/pci on my system, might work, might not. ;)

torsten wrote: I only found 3.17.10 as legacy-kernel. Is that what you referred to?
-> Installed and does not have the sound driver either ;-( Am I misunderstanding something?

anticapitalista wrote: Debian has a 3.16 kernel in its Debian jessie repo. I think you mean 3.7.10 (not 17)

The antiX 3.7.10 kernel lists cs4281.

The Debian 3.16 kernel lists cs4236 which looks to be what is wanted

========= SCRAPER REMOVED AN EMBEDDED LINK HERE ===========
url was:"https://packages.debian.org/jessie/i386/linux-image-3.16.0-4-586/filelist"
linktext was:"https://packages.debian.org/jessie/i386 ... 6/filelist"
====================================

@all: Thanks for the help. Yes I mistook 3.7.10 for 3.17 I think (Need to check at home later).
And I found two Debian kernels: 3.16...-586 and 4.9...-bpo-686 I believe with the snd-cs4236.ko. At the end Rok's search link was really helpful ;-)
Next I have to look how to install any of the Debian kernels on the TP600 - remember: no Network yet ;-( - I think: download on Windows as *.deb and then dpkg -i ... - and hope it goes well... and then grub updating...
My test yesterday with the 3.7.10 was on the TP600x - almost same sound problem (I only did not realize) but perfect WLAN out of the box.

I'll report the next days about progress...

Torsten