Re: ARM64 ACPI status report 2

[Robert Swindells <rjs%fdy2.co.uk@localhost>]

Jared McNeill <jmcneill%invisible.ca@localhost> wrote:
>On Sun, 11 Nov 2018, Robert Swindells wrote:
>>
>> Is ARM64 ACPI just for PCI bus systems ?
>>
>
>ACPI itself does not depend on PCI. For example, you can boot Raspberry Pi 
>3 in ACPI mode with the correct firmware.

The ARM code currently depends on PCI to build.

Someone might want to build a stripped down kernel for a Pinebook that
left out the drivers for Rockchip, Tegra, Broadcom, ThunderX etc.

I was just wondering whether you were planning to add conditional code
to it or that people should just take out acpi* from non-PCI configs.