Daniel Bertalan c6c0ce78f5 Kernel/aarch64: Account for reserved VideoCore range in the memory map ...

Instead of having a single available memory range that encompasses the
whole 0x00000000-0x3EFFFFFF range of physical memory, create a separate
reserved entry for the RAM range used by the VideoCore. This fixes a
crash that happens when we try to allocate physical pages in the GPU's
reserved range.

This will eventually be replaced with parsing the data from the device
tree, but for now, this should solve some of the recurring CI failures.

2023-06-06 15:45:52 +02:00

18 KiB

Raw Blame History

View Raw