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