Skip to content

enable CONFIG_{ACPI, PCI} for x86 - #138

Merged
slp merged 1 commit into
libkrun:mainfrom
jakecorrenti:add-acpi
Aug 25, 2026
Merged

slp merged 1 commit into
libkrun:mainfrom
jakecorrenti:add-acpi

Conversation

@jakecorrenti

Copy link
Copy Markdown
Collaborator

Enable PCI and ACPI in the kernel so that we can add support for them in libkrun and eventully support additional firmware options.

@jakecorrenti
jakecorrenti marked this pull request as draft August 6, 2026 14:36
@jakecorrenti
jakecorrenti marked this pull request as ready for review August 6, 2026 15:29
@jakecorrenti jakecorrenti changed the title enable CONFIG_{ACPI, PCI} enable CONFIG_{ACPI, PCI} for x86 Aug 6, 2026
Comment thread config-libkrunfw-tdx_x86_64
Enable PCI and ACPI in the x86 kernel so that we can add support for them in
libkrun and eventully support additional firmware options.

Signed-off-by: Jake Correnti <jakecorrenti+github@proton.me>

@slp slp left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM, thanks!

@slp
slp merged commit 4d5fc49 into libkrun:main Aug 25, 2026
6 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