Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.kernel > #88386 > unrolled thread

Installation location of BPF vmlinux.h

Back to article view | Back to linux.debian.kernel

Contents

  Installation location of BPF vmlinux.h Ben Hutchings <ben@decadent.org.uk> - 2025-07-12 21:20 +0200
    Re: Installation location of BPF vmlinux.h Juerg Haefliger <juerg.haefliger@canonical.com> - 2025-07-28 10:30 +0200

#88386 — Installation location of BPF vmlinux.h

[Multipart message — attachments visible in raw view] — view raw

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)?

Ben.

-- 
Ben Hutchings
Experience is directly proportional to the value of equipment destroyed
                                                    - Carolyn Scheppner

[toc] | [next] | [standalone]

#88571

[Multipart message — attachments visible in raw view] — view raw

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.
> 

[toc] | [prev] | [standalone]

Back to top | Article view | linux.debian.kernel

csiph-web