thanks for the details.
Can't wait to see an update of the kernel/driver to get that feature. None of the audio distributions for the raspberry pi (or other computers actually) have that capability so far.
That would be great to play nice with the receivers and leverage what already exists.
I definitely don't want to buy a new receiver with a USB DAC supporting DSD 5.1

Not even sure that exists.