Skip to content

Experimental ACPI/PCIe drivers - #752

Draft
terryzbai wants to merge 138 commits into
mainfrom
echoserver_with_acpi_pcie
Draft

Experimental ACPI/PCIe drivers#752
terryzbai wants to merge 138 commits into
mainfrom
echoserver_with_acpi_pcie

Conversation

@terryzbai

@terryzbai terryzbai commented Jul 22, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

This draft PR includes the experimental work around the ACPI/PCIe drivers, which aims to provide better support for proper resource managemnt on x86. The design and implementation progress is documented: ACPI docs and PCIe docs.

The example is based on echo_server example but integrates the ACPI/PCIe drivers. To try this out, certain branches of dependencies are required:

The example works on both vb_105 and viscous. viscous is not visible on mainline machine queue, but accessbile via AlexL's experimental branch.

terryzbai added 30 commits July 15, 2026 16:31
@terryzbai
Init ACPI driver and example
f10bf9c 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: ACPI AML parser
ef77f30 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: AML parser
c4bf01f 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: AML parser
73d9496 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
checkpoint: UB in recurssive function
0f4ccc4 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: direct path_len arg to avoid UB error
c4f38d8 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: found _CRS
b5e7687 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP
a66de5b 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: calculate length of name data length
14cc614 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: _CRS parsed
ff334a5 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: parse Package Object containing routing tables
5d25ec6 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: save PCI seg groups
033677f 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: something
9a95485 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: refactor interpreter
8174bdf 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: object scanning
80c0310 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: fix opcode
7a60697 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: _CRS extracted again
9256dcb 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: fix
9a01ed5 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: temp solution to extract _PRT package name
ab2d399 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: PRT package found
6ad0199 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: parsed PRT package again
e716475 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: parse Extended IRQ Descriptor
7d024a2 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: convert IRQ name object to integer
58259c2 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: receive all CRS in acpi.c
0b02321 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: code cleanup
b51d96c 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: add pci_resource var_addr
5789a8c 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: init PCI driver
b1f3a5c 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
WIP: add pci resource mr and cleanup
8ac46fa 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
fix: crs bookkeeping
f818c50 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
refactor: using shared caps and bootinfo tags
52c8e13 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
terryzbai added 23 commits July 15, 2026 16:38
@terryzbai
wip: refactor
d40547f 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: fix assert
8dc28c9 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: fix package parsing
f37dc40 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: finish prt package parsing
3d1682a 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: echoserver works on QEMU
8e359d7 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: fix ONE_OP
126f6da 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: fix CREATE_FIELD parsing
e4efcce 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: scan-mode interpreter works on hardware
ad0e0f4 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: fix GSI parsing on hardware
12922dd 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: fix cnode_specs bookkeeping bug
ece8139 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: finished real-time field reading
66fd998 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: fix untyped passing issue
9a99159 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: testing ixgbe driver
0eb0104 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: fix IRQs handling for ixgbe driver
f9d0d30 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
checkpoint: I/O APIC interrupts fixed
1f87137 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
checkpoint: echoserver works on viscous
07ab173 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: some optimisation on ixgbe driver
b8467ab 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: test
22e2c8e 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: test
d41388c 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
wip: still works
da34378 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
parsing: PRT package for PCI bridges
f7ad5ab 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
checkpoint: parsing PRT for PCI bridges
ea76201 
This adds the PRT parsing for PCI bridges, managing
virtualised PCI devices, but the timer driver needs
I/O APIC interrupts so this can not be easily tested
without a new feature introduced to Microkit.

Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai
docs: add docs for acpi and pcie
22eca9e 
Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>
@terryzbai terryzbai self-assigned this Jul 22, 2026
@terryzbai terryzbai added drivers Issues pertaining to driver code for a device class driver-examples Issues related to examples for drivers for a target acpi pcie labels Jul 22, 2026
@terryzbai
terryzbai marked this pull request as draft July 22, 2026 01:46
@terryzbai terryzbai changed the title Echoserver with ACPI/PCIe drivers integrated Experimental ACPI/PCIe drivers Jul 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@terryzbai terryzbai

Labels

acpi driver-examples Issues related to examples for drivers for a target drivers Issues pertaining to driver code for a device class pcie

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@terryzbai @abrandnewusername