[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Installation location of BPF vmlinux.h



On Sat, 12 Jul 2025 21:13:50 +0200
Ben Hutchings <ben@decadent.org.uk> wrote:

> Hi all,
> 
> Debian recently started added a linux-bpf-dev binary package that
> installs the BPF header vmlinux.h at:
> 
>     /usr/include/$DEB_HOST_MULTIARCH/linux/bpf/vmlinux.h
> 
> After we did this Luca noted that in Ubuntu the corresponding binary
> package installs it at:
> 
>     /usr/include/$DEB_HOST_MULTIARCH/linux/vmlinux.h
> 
> and as a result the systemd package needs to use distribution-
> conditional logic to use this header.
> 
> We discussed this in a merge request
> <https://salsa.debian.org/kernel-team/linux/-/merge_requests/1359>
> (currently down, sorry) and also at a meeting on IRC
> <https://meetbot.debian.net/debian-kernel/2025/debian-kernel.2025-04-02-19.00.log.html>.
> 
> The main argument for using <linux/bpf/vmlinux.h> is that it is less
> likely to conflict with or be confused with a posible future UAPI header
> installed at /usr/include/linux/vmlinux.h.
> 
> Would you consider moving this header in Ubuntu to align with Debian? 
> Or alternatively would you like to argue for the converse (Debian should
> align with Ubuntu)?

Yes, we should fix this to match Debian. Funny enough, it was Luca's patch
[1] that introduced this location :-)

...Juerg

[1] https://lists.ubuntu.com/archives/kernel-team/2024-August/153061.html

> 
> Ben.
> 

Attachment: pgpDjxjXWA4Tg.pgp
Description: OpenPGP digital signature


Reply to: