| 1 | Linux supports a method of overriding the BIOS DSDT: |
| 2 | |
| 3 | CONFIG_ACPI_CUSTOM_DSDT builds the image into the kernel. |
| 4 | |
| 5 | When to use this method is described in detail on the |
| 6 | Linux/ACPI home page: |
| 7 | https://01.org/linux-acpi/documentation/overriding-dsdt |