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.
Stefan Reinauer, SUSE LINUX AG
Teamleader Architecture Development
Show replies by date