I would like to use this i2s microphone on the Pi. Fortunately, there is already a linux driver for it here. Unfortunately it is located in the torvalds/linux repository and not (yet ?) inside the raspbian repository.
So I would like to know if it is possible to somehow use that driver on a raspberry Pi. I read that while I could use the torvalds/linux kernel on a Pi, there are still some gaps to the raspbian code, so it is not a good idea to just use the former. Can I somehow integrate just that single driver with using the "rest" of the kernel from the raspbian repository?