1 .. SPDX-License-Identifier: GPL-2.0
7 Linux supports a method of overriding the BIOS DSDT:
9 CONFIG_ACPI_CUSTOM_DSDT - builds the image into the kernel.
11 When to use this method is described in detail on the
13 https://01.org/linux-acpi/documentation/overriding-dsdt