Michael Zhao 195eba188a vmm: Split create_gic() from configure_system() ...

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

2021-06-01 16:56:43 +01:00

..

gic

arch: Remove serde usage

2021-05-26 22:27:41 +02:00

fdt.rs

arch: Bump vm-fdt from 13ab882 to 956b5a5

2021-05-28 10:53:55 +02:00

layout.rs

aarch64: Fix IRQ number setting for ACPI

2021-05-25 10:20:37 +02:00

mod.rs

vmm: Split create_gic() from configure_system()

2021-06-01 16:56:43 +01:00

regs.rs

aarch64: Change memory layout for UEFI & ACPI

2021-05-18 23:24:09 +02:00