mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-22 12:28:02 +00:00
e28709d54d
This makes the driver work on newer machines that produce reports larger than 16 KiB. E.g., Sculpt OS boots successfully on a Lenovo P53s laptop now. |
||
---|---|---|
.. | ||
spec/x86 | ||
acpi.cc | ||
acpi.h | ||
efi_system_table.h | ||
main.cc | ||
memory.h | ||
README | ||
smbios_table_reporter.cc | ||
smbios_table_reporter.h |
This directory contains an implementation of a simple ACPI parser Behavior -------- This server should be used when using a kernel (like Fiasco.OC, Nova, base_hw x86_64) that takes advantage of x86's APIC. The server traverses the ACPI tables and reports the interrupt line of devices within the PCI config space of GSIs found in the ACPI tables. The 'MADT' table is parsed by the server as well, enabling clients to use the correct IRQ when 'Interrupt Override' structures are found within the table. All information are reported to a report_rom service as "acpi" report. The report can be consumed by any interested party, e.g. the platform driver. Please consult the platform driver README for more details. Usage ----- !<start name="acpi_drv"> ! <resource name="RAM" quantum="4M"/> !</start> ! !<start name="report_rom"> ! <resource name="RAM" quantum="2M"/> ! <provides> ! <service name="ROM" /> ! <service name="Report" /> ! </provides> ! <config> ! <policy label="platform_drv -> acpi" report="acpi_drv -> acpi"/> ! </config> !</start> ! !<start name="platform_drv"> ! ...