ACPI表如何从SeaBIOS发送到Linux

Question

我正在使用intel atom rangeley板上的linux设备驱动程序。我们可以使用DTS和ACPI来提供平台设备信息。

我目前正在使用ACPI表，希望了解如何通过SeaBIOS将ACPI表传输到Linux。

如果我错了，请纠正我，提前谢谢。