^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) .. SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) ===============
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) Overriding DSDT
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) ===============
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) Linux supports a method of overriding the BIOS DSDT:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) CONFIG_ACPI_CUSTOM_DSDT - builds the image into the kernel.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) When to use this method is described in detail on the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) Linux/ACPI home page:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) https://01.org/linux-acpi/documentation/overriding-dsdt