c - ACPI テーブルが SeaBIOS から Linux に送信される方法

Question

私は、Intel Atom Rangeley ボードで Linux デバイス ドライバーに取り組んでいます。プラットフォーム デバイス情報を提供するために、DTS と ACPI を使用できます。

現在、ACPI テーブルを使用しています。ACPI テーブルが SeaBIOS を介して Linux に転送される方法を理解したいと考えています。

私の考えが間違っていたら訂正してください。よろしくお願いします。