Skip to content

review: Audit Kconfig-dependent symbol availability#17

Merged
arighi merged 1 commit into
mainfrom
kconfig-coverage
Jul 1, 2026
Merged

review: Audit Kconfig-dependent symbol availability#17
arighi merged 1 commit into
mainfrom
kconfig-coverage

Conversation

@arighi

@arighi arighi commented Jul 1, 2026

Copy link
Copy Markdown
Collaborator

The portability review could miss build failures where added code references a symbol unavailable under a valid kernel configuration. This is especially easy to hide when normal build validation enables the feature providing that symbol.

Extend the stage 7 and single-pass prompts to compare caller and provider preprocessor, Kconfig, architecture, Kbuild, and module conditions. Require the review to check relevant y, m, and n states against the exact checked-out tree and report prerequisites missing from the reviewed series.

Keep the existing hardware checks for hardware-facing patches, but always run the configuration and linkage audit for C and Rust changes. Add prompt assertions covering disabled configurations and missing prerequisites.

The portability review could miss build failures where added code
references a symbol unavailable under a valid kernel configuration. This
is especially easy to hide when normal build validation enables the
feature providing that symbol.

Extend the stage 7 and single-pass prompts to compare caller and
provider preprocessor, Kconfig, architecture, Kbuild, and module
conditions. Require the review to check relevant y, m, and n states
against the exact checked-out tree and report prerequisites missing from
the reviewed series.

Keep the existing hardware checks for hardware-facing patches, but
always run the configuration and linkage audit for C and Rust changes.
Add prompt assertions covering disabled configurations and missing
prerequisites.

Signed-off-by: Andrea Righi <arighi@nvidia.com>
@arighi arighi merged commit 02838d6 into main Jul 1, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants