Marco Betschart:
> Would love to push the branch; but don’t seem to have access rights to do it.
Indeed, you don't have commit access to the official Tails Git
repository.
So you can fork our repository e.g. on
https://gitlab.com/Tails/tails
or wherever you prefer.
> Attached the git patch with my changes. Hope you can help out on this:
I think you need to pass a suitable -k argument to the dkms command.
Cheers,
--
intrigeri