andrew ba47a8c8f3 Mark each cpu in the appropriate cpuset_domain set. This allows devices to ...

handle cases where they can only run on a single domain.

To allow all devices access to this set we need to move reading the domain
earlier in the boot as it was previously handled in the CPU driver, however
this is too late for the GICv3 ITS driver.

Sponsored by:	DARPA, AFRL

2017-08-05 20:57:34 +00:00

..

acpica

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

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

arm64

Mark each cpu in the appropriate cpuset_domain set. This allows devices to

2017-08-05 20:57:34 +00:00

cavium

If ofw_bus_msimap fails don't try to use the invalid MSI/MSI-X parent node.

2017-03-16 17:49:37 +00:00

cloudabi64

Move struct syscall_args syscall arguments parameters container into

2017-06-12 21:03:23 +00:00

conf

arm64: Add Allwinner H5 SoC

2017-08-02 20:19:19 +00:00

include

Mark each cpu in the appropriate cpuset_domain set. This allows devices to

2017-08-05 20:57:34 +00:00