Re: Quartz64

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

I wrote:
>What is the process for adding extra drivers to NetBSD for boards using
>ACPI, do we need to get you to add definitions for them to the APCI
>table in UEFI?
>
>Or can devices be configured just using the device tree as well?

The changelog for UEFI states that passing the device tree to the kernel
was removed in a previous release as some operating systems attached the
device tree driver in preference to the acpi one.

Both NetBSD/amd64 and NetBSD/i386 manage to configure acpi devices as
well as non-acpi ones.

Can we copy whatever is done for amd64 and i386 in evbarm and put back
providing the device tree from UEFI?

Robert Swindells