ACPI Support

Stefan Reinauer stepan at
Wed Jan 28 12:15:01 CET 2004


I've implemented initial code for ACPI support in LinuxBIOS. It can be
enabled by the option HAVE_ACPI_TABLES. 

Currently there is only support for HPET tables, which are needed to
tell the Linux kernel where the HPET timers on AMD64 systems can be

The code is generated at the same place as the other tables (MP/PIRQ) -
in src/arch/i386/boot/tables.c. The ACPI code itself can be found at

The code is far from being a generic ACPI implementation, but it can be
enhanced to whatever is needed.

Questions and comments are welcome.

Best regards,
  Stefan Reinauer
     Stefan Reinauer, SUSE LINUX AG
Teamleader Architecture Development

More information about the coreboot mailing list