Background
I have developed a Linux device driver (ASoC). Now I would like to release it as a DKMS package. The target machine is a Raspberry Pi with Raspbian.
Problem
My source code depends on a header file from the Linux /sound/soc/codecs/
directory. This file does not exist on the target machine.
Workaround 1
I could add the required header file to my DKMS package. But it doesn't feel right, because I think that I should use the header file from the kernel source that the module is being built for (eg. 4.6, 4.7 ...).
Workaround 2
I could tell the end-user to download the whole kernel source (apt-get source ...
) before building the module. But installing more than 700MB just because of a single header file does not feel right as well. The package kernel-headers-
does not contain the file that I need.
Question
Is there a better solution than the two workarounds? What would you suggest?