Lines Matching refs:kernel

30 If BIOS ACPI tables are overridden the kernel will get tainted with the
33 that a workaround is not accepted in the Linux kernel.
35 Still, it can and should be enabled in any kernel, because:
38     compatibility with the Linux kernel.
55 # They must be put into a /kernel/firmware/acpi directory inside the
60 mkdir -p kernel/firmware/acpi
61 cp dsdt.aml kernel/firmware/acpi
66 cp facp.aml kernel/firmware/acpi
67 cp ssdt1.aml kernel/firmware/acpi
70 find kernel | cpio -H newc --create > /boot/instrumented_initrd
91 ftp://kernel.org/pub/linux/kernel/people/lenb/acpi/utils/pmtools/acpidump