Skip to content

[1/4] Add script and documentation to generate and refresh a symbol locked list.#2

Merged
casasnovas merged 4 commits intomainfrom
quentin-locked-list
Mar 12, 2026
Merged

[1/4] Add script and documentation to generate and refresh a symbol locked list.#2
casasnovas merged 4 commits intomainfrom
quentin-locked-list

Conversation

@casasnovas
Copy link
Copy Markdown
Collaborator

@casasnovas casasnovas commented Mar 2, 2026

The symbol locked list tracks all symbols our binary kernel modules depend on,
such that we can more easily track kABI changes to our dom0 kernel that are
impacting binary drivers we maintain.

It will be used in conjonction with a tool called kabi, that allows to present the
exact type changes that lead to an exported symbol kABI change, as opposed to
simply the exported symbol like with the check-kabi script included in the Linux
source tree.

This pull-request is the first in a series adding tools and documentation on maintaining
our dom0 kernel - for extra context, the final state can be seen here (the final README
especially):

https://github.com/xcp-ng/hypervisor-dev/tree/quentin-main

I've tried to split the changes into palatable/reviewable PRs, full list:

…f locked symbols.

The kabi.locked_list file is used by an upstream tool called `kabi` which
will be introduced in following commits, it will be useful to get more
information on type changes that lead to a kABI change.

Signed-off-by: Quentin Casasnovas <quentin.casasnovas@vates.tech>
… list of locked symbols.

Signed-off-by: Quentin Casasnovas <quentin.casasnovas@vates.tech>
Signed-off-by: Quentin Casasnovas <quentin.casasnovas@vates.tech>
…ng 8.3.

Signed-off-by: Quentin Casasnovas <quentin.casasnovas@vates.tech>
@casasnovas casasnovas force-pushed the quentin-locked-list branch from cc0643b to 19dfc67 Compare March 12, 2026 07:40
@casasnovas casasnovas requested a review from fallen March 12, 2026 07:41
Copy link
Copy Markdown

@fallen fallen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm!

@casasnovas
Copy link
Copy Markdown
Collaborator Author

Thanks a lot for your review!

@casasnovas casasnovas merged commit 19dfc67 into main Mar 12, 2026
1 check passed
@casasnovas casasnovas deleted the quentin-locked-list branch March 16, 2026 14:55
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