Henry Wang dcf6d9d731 device_manager: AArch64: add a field to set/get GIC device entity ...

In AArch64 systems, the state of GIC device can only be
retrieved from `KVM_GET_DEVICE_ATTR` ioctl. Therefore to implement
saving/restoring the GIC states, we need to make sure that the
GIC object (either the file descriptor or the device itself) can
be extracted after the VM is started.

This commit refactors the code of GIC creation by adding a new
field `gic_device_entity` in device manager and methods to set/get
this field. The GIC object can be therefore saved in the device
manager after calling `arch::configure_system`.

Signed-off-by: Henry Wang <Henry.Wang@arm.com>

2020-09-23 12:37:25 +01:00

..

src

device_manager: AArch64: add a field to set/get GIC device entity

2020-09-23 12:37:25 +01:00

Cargo.toml

build(deps): bump libc from 0.2.76 to 0.2.77

2020-09-10 06:45:09 +00:00