Home
last modified time | relevance | path

Searched hist:"6 e6efaecdc518b9efb7118d6697439593003adf7" (Results 1 – 7 of 7) sorted by relevance

/haiku/src/system/boot/platform/efi/
H A Dacpi.h6e6efaecdc518b9efb7118d6697439593003adf7 Thu Apr 24 11:35:40 UTC 2014 Jessica Hamilton <jessica.l.hamilton@gmail.com> EFI: add ACPI support

Also add support in the kernel to get the ACPI RSDP from the
bootloader, and pass onto the ACPI driver using get_boot_item.
H A Dacpi.cpp6e6efaecdc518b9efb7118d6697439593003adf7 Thu Apr 24 11:35:40 UTC 2014 Jessica Hamilton <jessica.l.hamilton@gmail.com> EFI: add ACPI support

Also add support in the kernel to get the ACPI RSDP from the
bootloader, and pass onto the ACPI driver using get_boot_item.
H A DJamfile6e6efaecdc518b9efb7118d6697439593003adf7 Thu Apr 24 11:35:40 UTC 2014 Jessica Hamilton <jessica.l.hamilton@gmail.com> EFI: add ACPI support

Also add support in the kernel to get the ACPI RSDP from the
bootloader, and pass onto the ACPI driver using get_boot_item.
H A Dstart.cpp6e6efaecdc518b9efb7118d6697439593003adf7 Thu Apr 24 11:35:40 UTC 2014 Jessica Hamilton <jessica.l.hamilton@gmail.com> EFI: add ACPI support

Also add support in the kernel to get the ACPI RSDP from the
bootloader, and pass onto the ACPI driver using get_boot_item.
/haiku/src/system/kernel/arch/x86/
H A Darch_platform.cpp6e6efaecdc518b9efb7118d6697439593003adf7 Thu Apr 24 11:35:40 UTC 2014 Jessica Hamilton <jessica.l.hamilton@gmail.com> EFI: add ACPI support

Also add support in the kernel to get the ACPI RSDP from the
bootloader, and pass onto the ACPI driver using get_boot_item.
/haiku/headers/private/kernel/arch/x86/
H A Darch_kernel_args.h6e6efaecdc518b9efb7118d6697439593003adf7 Thu Apr 24 11:35:40 UTC 2014 Jessica Hamilton <jessica.l.hamilton@gmail.com> EFI: add ACPI support

Also add support in the kernel to get the ACPI RSDP from the
bootloader, and pass onto the ACPI driver using get_boot_item.
/haiku/src/add-ons/kernel/bus_managers/acpi/
H A DACPICAHaiku.cpp6e6efaecdc518b9efb7118d6697439593003adf7 Thu Apr 24 11:35:40 UTC 2014 Jessica Hamilton <jessica.l.hamilton@gmail.com> EFI: add ACPI support

Also add support in the kernel to get the ACPI RSDP from the
bootloader, and pass onto the ACPI driver using get_boot_item.