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

Groups > linux.debian.kernel > #88386

Installation location of BPF vmlinux.h

Show all headers | View raw

[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

Back to linux.debian.kernel | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

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

csiph-web