Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

new: support target distro, target kernel release and target kernel version filters #3

Merged
merged 4 commits into from
Aug 28, 2023
Merged

new: support target distro, target kernel release and target kernel version filters #3

merged 4 commits into from
Aug 28, 2023

Commits on Aug 28, 2023

  1. new: support target distro, target kernel release and target kernel v… 

    …ersion filters.

They are supported in all commands.
Moreover, improved tests to test new filters.
Finally, renamed `autogenerate` to just `generate`, and added an `--auto` bool flag.
`generate` is also able to generare a specific config given {distro,kernelrelease,kernelversion};
it is also able to build up kernel headers URLs using same code used by driverkit.

Signed-off-by: Federico Di Pierro <[email protected]>
    @FedeDP
    FedeDP committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    65ac9e7 View commit details
    Browse the repository at this point in the history

  2. chore: improved cleanup tests. 

    Signed-off-by: Federico Di Pierro <[email protected]>
    @FedeDP
    FedeDP committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    b86cb5d View commit details
    Browse the repository at this point in the history

  3. chore: updated readme. 

    Signed-off-by: Federico Di Pierro <[email protected]>
    @FedeDP
    FedeDP committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    3ad6e52 View commit details
    Browse the repository at this point in the history

  4. chore: make use of driverkit GetResolvingURLs API for kenrel headers. 

    Moreover, do not fail out if kernel headers fail to be fetched; just store
a config with empty headers.
Only error is if the target distro is unsupported by driverkit.

Signed-off-by: Federico Di Pierro <[email protected]>
    @FedeDP
    FedeDP committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    7b1e0bd View commit details
    Browse the repository at this point in the history