incubator-nuttx/arch/x86_64
p-szafonimateusz d484e85bb9 x86_64_acpi.c: make sure that RSDP is mapped
rsdp memory may be not mapped when provided from multiboot2 header.
For some reason the previous code worked on some machines.

Signed-off-by: p-szafonimateusz <p-szafonimateusz@xiaomi.com>
2024-04-23 11:29:21 +02:00
..
include arch/intel64: add cache support 2024-04-22 23:13:44 +02:00
src x86_64_acpi.c: make sure that RSDP is mapped 2024-04-23 11:29:21 +02:00
CMakeLists.txt arch/x86_64: add cmake support 2024-02-23 07:45:57 +08:00
Kconfig arch/intel64: add cache support 2024-04-22 23:13:44 +02:00