genode

History

Ehmry - 3d68a520cb Tag release 19.11 -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEsIWqvdxEKaxX80hspyRgNBfs1rcFAl3fpmAACgkQpyRgNBfs 1rcezQ//ZoYChufO6m2CByuPUbITql12b6oyOjmvcw16NW+Nsf2EodwMeCk/9yyM kWIxqOtXp1yFPGNf8ebEkTu5YXYMkHrUds4V6nQ4nQnyk7VnQmR3XTnqP8Sr27Hp fHi7Dddjxufexeyb6bwis04mK4PeFWXk/D6H4nh6ZeaR30g/GQ+Wt4N64a+HcQ1g kLMKuLlooOoq0L9q8IVLAtQoKNR1LP6x0FKGH8B6elwns8rXna2fRSlCB+W7qLwl K/pQadaIkwQNj8TEXuQxdGOR1GIrTbUz9ExS6U1yPXjqK06CunDZqsn+Cv5G7p+5 ybMaViXwDGilZjhNLTjAbPhqhoOVu+yDB5gwzKiYt6/gTKP8N+VUpXKhGpzu/0ya wEt2b/43vmPm1NsBQQFU6vmjyW0W0iOl+a1tetv/qFo4mzQNesbVlu6t91b0EAjp C0JzZj9UHj/QkKgLIPkWMVWyz+VtODUeFhMLV6+86wzFmqSNhbaL0K/1LvX3AHZR 5M/sjMRdtRL9U7Xv/LTn/Sgisk5wT2wfI9dpkAZALZjm22751mSTv9XhdLC/+XpA 0F7cfSg36DphYsyPmSQ9+Q79rpU+bvuuTbqAsLdYcflMaW4bsIOd4j5Lk3adIPbN EE0uu+CD1GbqpKy+vLr+2EIlYpVNRTQKLklmkmhb+ZBuvUo00cU= =4dhl -----END PGP SIGNATURE----- Merge tag '19.11' Tag release 19.11		2019-11-28 13:21:13 +01:00
..
spec/x86	drivers/acpi: provide plain SMBIOS table as report	2019-08-13 12:02:03 +02:00
README	Increase RAM quota of ACPI driver to 4M	2019-08-13 12:02:03 +02:00
Tupfile	Tup: add x86 drivers from os repo	2019-10-28 11:32:29 +01:00
acpi.cc	Tag release 19.11	2019-11-28 13:21:13 +01:00
acpi.h	os: avoid using deprecated APIs	2019-01-30 13:49:54 +01:00
efi_system_table.h	drivers/acpi: provide plain SMBIOS table as report	2019-08-13 12:02:03 +02:00
main.cc	Clang: do not use angle brackets for local includes	2019-10-28 11:32:29 +01:00
memory.h	acpi_drv: reduce capability quota requirements	2019-11-19 14:23:54 +01:00
smbios_table_reporter.cc	Tag release 19.11	2019-11-28 13:21:13 +01:00
smbios_table_reporter.h	drivers/acpi: provide plain SMBIOS table as report	2019-08-13 12:02:03 +02:00

README

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">
!  ...