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
..
hw	kernel: differentiate board-specific components	2019-05-27 14:46:52 +02:00
spec	hw: fix calculation of CPU count on x86_64	2019-05-29 10:20:52 +02:00
env.cc	base: remove dependency from deprecated APIs	2019-02-19 11:08:17 +01:00
init.cc	hw: switch page-tables only when necessary	2017-10-19 13:31:18 +02:00
lock.cc	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00
log.cc	base: move 'Buffered_output' class into public header	2019-01-30 13:49:55 +01:00
platform.cc	hw: factor out x86 specific bootinfo	2019-05-27 14:46:54 +02:00
platform.h	hw: factor out x86 specific bootinfo	2019-05-27 14:46:54 +02:00
thread.cc	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00