193a401097
On some machines, more than 3 MiB are needed. This finally equalizes all occurences of RAM quotas with drivers_managed. Fixes #3443
36 lines
1.1 KiB
Plaintext
36 lines
1.1 KiB
Plaintext
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">
|
|
! ...
|