tree 8a8a6fe42d190f7c941a7b20027cc293d7234d2c
parent 703482d287aaa5ad3d0e4704a5e7dddeb8e7b532
author Imre Kis <imre.kis@arm.com> 1711451038 +0100
committer Imre Kis <imre.kis@arm.com> 1736965618 +0100

Implement dynamic kernel memory mapping

Extend KernelSpace to build the kernel address space memory mapping
runtime.

Signed-off-by: Imre Kis <imre.kis@arm.com>
Change-Id: I7a27540f58a032ff49ba35f5f43afb5a8c9e5be8