Based on kernel version 4.16.1. Page generated on 2018-04-09 11:52 EST.
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