1. Forum
  2. Usenet
  3. LINUX.DEBIAN.KERNEL

  • Installation location of BPF vmlinux.h

    From Ben Hutchings@21:1/5 to All on Sat Jul 12 21:20:01 2025
    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

    -----BEGIN PGP SIGNATURE-----

    iQIzBAABCgAdFiEErCspvTSmr92z9o8157/I7JWGEQkFAmhys+8ACgkQ57/I7JWG EQlithAAgHsk82ZfcFTbbtTTXJsEPkz90lgZEH0OLyVc2CZR7CEtMA8WUgiZ1O/X X2kOD0cG/IO/rwtXHea0dKZgDG3RtWaBieudcgOGUiycMl10GsnUVqVVI2zJCP6+ OxTEIQFZqdKN3NWPvXzllSPkfERpWrjYwonppV7H41tc4Y0IkINTN/WTyo4mgCh5 O9lO7hpR0Jj5YtI36fDjWJiRbntrkuere/kaWQCtvWnxQr1wNwSwWRj0vgQWkuD6 8xaaeCzdyRfE+3sHvUGDQBQWGjq207HCmfYj03IzdPiO+epOlMQgBVJbBo9seEqX HIvYObAkOS35kfH7Q975BGkhPIaWAF1YwhNOUkIaNY4qZQw98Ces+62ekZP+VKzj 7MvysYDRvwX8BrhdoCTq+xC6s3b1aJLNVLxwdyXkaXRj4zbqMAXP1u7/O1gChdwi P3tDDxhdFCM6zVD2rqx2oa2Ft+H1PrbFkB8WaqOs9aQs/wVU+XiiLLi3xhRgO3es nn3lOH9jnY4SatZOzFFpqL73vvjonYhKGsY3JYCmDzUNVNCkegniG617wPjLtkzn xZVG5sr5BQCK2hvrNks1rr0jI5IJpNcPgjNvlayx/0pN0VhyS+GPtKB737+oocjx gWeyqolM19rtxNzhTJmgPkiJhztdDpIFpknpkUsasCk00nSsWlM=
    =ZJIZ
    -----END PGP SIGNATURE-----

    --- S
  • From Juerg Haefliger@21:1/5 to Ben Hutchings on Mon Jul 28 10:30:01 2025
    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.



    -----BEGIN PGP SIGNATURE-----

    iQIzBAEBCgAdFiEEhZfU96IuprviLdeLD9OLCQumQrcFAmiHNFQACgkQD9OLCQum Qrd6tBAAnl+Q4w+kCTHt2ct/7b9LE0MfQL6CbgaC9xz1L1MY32W77emTuXyv6A8/ GVoQ+T09YsY8GjohA5JijKxAe3b87Ism8Nsy2v5FUXHv6r8XwkvpTQM9aYqPhW64 xfzVNhKKWAh4mCwlOEHJmWeedDJwQvIENqNxMgA0LUpFK5d+CZOQXDFI5r6g19gI jYjb60GbhuYQlbrgdNyJSGtKsa62U/jy9wzRlnzQHSFUySw2kUUWMm0ayb02wCFH c9XFxZmJSqOhys1oHHS6IICtcj0Iw/y9/9EWo9/GfrOKvFAlGeZPb9SjsFuPnnHm b39L+AQYdqByMEvyphSdBE2p5Q7qjCLTFhI9kAvy8H7NtfYT8OOXQMYTlhmVfLQt G/4g1e0gmRfqzqjVpokX1euXno9n9lkrMGhqrKr19X7jNfbNtyvEI7UQtVuKqHos C44KUs1SfM+iwggJn2FdSl7ttyqhFjmYNWLjU3ntv7xn5DKUK8giXNKSnMAz8XW+ 6tiyMj8KK4Cf7T0MnL6TrJyhFe+6e6WnKPU19j5N8znsmxVpegiTrAh03idBGH+U xkd8BssqgCActWDFJ0kAw/LK/0bq3Igy0/u5IMSmGLZPSvFWRTlwSgba+G8TM89W rM1x0WUG03R6xwbADc+EZcFNbjYVeiPATDEc3YFpWpcfrb2Woas=
    =l/K6
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)