Andrew Turner 2c0d026b52 Move the point we attach the ofw driver on arm64 to nexus.c. This will ...

allow us to have a single place to decide to use ofw or acpi.

2015-05-05 11:13:16 +00:00

..

arm64

Move the point we attach the ofw driver on arm64 to nexus.c. This will

2015-05-05 11:13:16 +00:00

conf

Set MACHINE_ARCH to aarch64 for arm64

2015-04-16 19:23:08 +00:00

include

Add pmap_mapbios and pmap_unmapbios. These will be needed to support acpi.

2015-04-29 15:00:43 +00:00