Hello I am trying to use some of the ACPI tables inside a kernel driver. Is there any documentation on the ACPI API? I would appreciate any help, or pointer to any documentation. Thanks in advance. Regards, Riza