Michael Zhao 848d88c122 aarch64: Reserve a hole in 32-bit space ...

The reserved space is for devices.
Some devices (like TPM) require arbitrary addresses close to 4GiB.

Signed-off-by: Michael Zhao <michael.zhao@arm.com>

2022-04-05 11:04:52 +08:00

..

gic

arch: aarch64: drop unnecessary static lifetime

2022-01-18 17:23:27 -08:00

fdt.rs

aarch64: Change RAM_START type GuestAddress

2022-04-05 11:04:52 +08:00

layout.rs

aarch64: Reserve a hole in 32-bit space

2022-04-05 11:04:52 +08:00

mod.rs

aarch64: Reserve a hole in 32-bit space

2022-04-05 11:04:52 +08:00

regs.rs

arch: aarch64: vm_memory is not required when configuring vcpu

2022-01-14 16:03:12 -08:00

uefi.rs

aarch64: Enable UEFI image loading

2021-06-09 18:36:59 +08:00