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