Jianyong Wu 57fdaa3a39 arch: x86_64: Populate the APIC Id ...

Program the APIC ID (CPUID leaf 0x1 EBX) with the CPU id. This resolves
an issue where the EDKII firmware expects the APIC ID to vary per-CPU.

Fixes: #5475
Signed-off-by: Jianyong Wu <jianyong.wu@arm.com>

2023-06-15 13:50:38 -07:00

..

src

arch: x86_64: Populate the APIC Id

2023-06-15 13:50:38 -07:00

Cargo.toml

build: Bump uuid from 1.3.3 to 1.3.4

2023-06-15 00:43:16 +00:00