My recollection is that when they first started doing this a couple of years ago, they did it by pushing as much as possible from the driver to the device firmw

My recollection is that when they first started doing this a couple of years ago, they did it by pushing as much as possible from the driver to the device firmware, which is still not open source. I assume that the open source driver is in Debians repos by now.