Sophie: kernel-doc-4.1.12-1.mga5 noarch

kernel-doc-4.1.12-1.mga5.noarch.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

Linux supports a method of overriding the BIOS DSDT:

CONFIG_ACPI_CUSTOM_DSDT builds the image into the kernel.

When to use this method is described in detail on the
Linux/ACPI home page:
https://01.org/linux-acpi/documentation/overriding-dsdt