On Mon, 2019-04-08 at 00:20 -0400, Nicholas D Steeves wrote:
[...]
> Ah, yes, thank you! :-)  Regarding documentation, should
> Debian-specific bits go on our wiki or be forwarded upstream?

The bindeb-pkg target is part of the upstream build system, not
something patched in by Debian, so the primary place to document it
should be upstream.

[...]
> Should users who track a 4.19.x-based branch use buster's
> linux-libc-dev headers, or install the ones that correspond to their
> custom kernel?
[...]

No, the only reason to install a custom linux-libc-dev package would be
to provide definitions for new UAPI added in a new kernel version.

Ben.

-- 
Ben Hutchings
Never attribute to conspiracy what can adequately be explained
by stupidity.


Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to