Sebastian Sumpf d417d26ce8 hw: fix calculation of CPU count on x86_64 ...

On x86 the CPU count is determined through ACPI's MADT by counting the
local APICs reported there. Some platforms report more APICs
than there are actual CPUs. These might be physically disabled CPUs.
Therefore, a check if the LAPIC is actually physically enabled in
hardware fixes this issue.

Thanks to Alex Boettcher

fixes #3376

2019-05-29 10:20:52 +02:00

..

doc

Update Muen port

2019-05-27 14:46:53 +02:00

etc

kernel: differentiate board-specific components

2019-05-27 14:46:52 +02:00

include

hw: remove implicit SoC-specific include path

2019-05-16 13:11:02 +02:00

lib/mk

hw: eager FPU switching for x86_64

2019-05-27 14:53:32 +02:00

ports

Update Muen port

2019-05-27 14:46:53 +02:00

recipes

depot: update recipe hashes

2019-05-06 16:15:27 +02:00

run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

src

hw: fix calculation of CPU count on x86_64

2019-05-29 10:20:52 +02:00