andrew d477fa3161 Add support to find the arm64 serial using the ACPI tables. This uses the ...

Serial Port Console Redirection Table to find the device to use.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

2016-11-21 19:26:58 +00:00

..

acpi_machdep.c

Add support to find the arm64 serial using the ACPI tables. This uses the

2016-11-21 19:26:58 +00:00

acpi_wakeup.c

…

OsdEnvironment.c

…

pci_cfgreg.c

…