imp b002fd76bf Comment this out until I have time to get to the bottom of why it's ...

failing for some people.

2017-12-24 16:36:50 +00:00

..

acpica

Use resume_cpus() instead of restart_cpus() to resume from ACPI suspension.

2017-12-21 09:17:48 +00:00

bios

sys/x86: further adoption of SPDX licensing ID tags.

2017-11-27 15:11:47 +00:00

cpufreq

Properly skip the first CPU. It only accidentally worked because the

2017-11-30 20:21:42 +00:00

include

Add missed AVX512VL (128 and 256 bit vector length) extension

2017-12-23 21:32:50 +00:00

iommu

sys/x86: further adoption of SPDX licensing ID tags.

2017-11-27 15:11:47 +00:00

isa

Comment this out until I have time to get to the bottom of why it's

2017-12-24 16:36:50 +00:00

pci

sys/x86: further adoption of SPDX licensing ID tags.

2017-11-27 15:11:47 +00:00

x86

Add missed AVX512VL (128 and 256 bit vector length) extension

2017-12-23 21:32:50 +00:00

xen

sys/x86: further adoption of SPDX licensing ID tags.

2017-11-27 15:11:47 +00:00