Closed FedeDP closed 3 months ago
On master instead:
./_output/bin/driverkit docker --target debian --kernelrelease 4.19.0-26-rt-amd64 --kernelversion 1 --output-probe /tmp/mod.o --loglevel debug --builderimage auto:master
level=DEBUG msg="running without a configuration file"
level=DEBUG msg="running with options" output-module="" output-probe=/tmp/mod.o driverversion=master kernelrelease=4.19.0-26-rt-amd64 kernelversion=1 target=debian arch=amd64 kernelurls=[] repo-org=falcosecurity repo-name=libs
level=INFO msg="driver building, it will take a few seconds" processor=docker
level=DEBUG msg="doing a new docker build"
level=ERROR msg=exiting err="kernel headers not found"
/cc @EXONER4TED
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: EXONER4TED, FedeDP
The full list of commands accepted by this bot can be found here.
The pull request process is described here
What type of PR is this?
/kind bug
Any specific area of the project related to this PR?
/area pkg
What this PR does / why we need it:
This PR fixes support to fetch kernel headers for debian
rpi
andrt
flavors, where thecommon
package has the-$flavor
suffix.Which issue(s) this PR fixes:
Fixes #
Special notes for your reviewer:
Example:
As you can see, proper headers are now found and the build succeeds:
Does this PR introduce a user-facing change?: