search

andreiw / RaspberryPiPkg

DEPRECATED - DO NOT USE | Go here instead ->
https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi3
744 stars 143 forks source link

Use ACPI also for booting Linux #27

Closed Googulator closed 4 years ago

Googulator commented 5 years ago

Currently it appears that only Windows is booted using ACPI, while Linux gets traditional DTBs, which are distro-specific.

Linux supports ACPI for device discovery on ARM64 since version 4.1. It would be handy to reuse the ACPI support developed for Windows also in Linux, possibly avoiding having to go distro-specific.

andreiw commented 5 years ago

To a degree, this may be possible, but will be pointless if the end result will depend on someone adding ACPI support to critical RPi drivers in Linux.

A

2 июня 2018 г., в 20:00, Googulator notifications@github.com написал(а):

Currently it appears that only Windows is booted using ACPI, while Linux gets traditional DTBs, which are distro-specific.

Linux supports ACPI for device discovery on ARM64 since version 4.1. It would be handy to reuse the ACPI support developed for Windows also in Linux, possibly avoiding having to go distro-specific.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

woachk commented 5 years ago

@andreiw why not adding ACPI support to those drivers then? it's doing it once..

andreiw commented 5 years ago

Sure, why not? Due to PRP0001 the only real place to pay attention may just be the MADT parsing (i.e. don’t try parsing for a GIC on a Pi)...

A

19 июня 2018 г., в 6:52, woachk notifications@github.com написал(а):

@andreiw why not adding ACPI support to those drivers then? it's doing it once..

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.