Henry Wang 381d0b4372 devices: remove the migration traits for the Gic struct ... Unlike x86_64, the "interrupt_controller" in the device manager for AArch64 is only a `Gic` object that implements the `InterruptController` to provide the interrupt delivery service. This is not the real GIC device so that we do not need to save its states. Also, we do not need to insert it to the device_tree. Signed-off-by: Henry Wang <Henry.Wang@arm.com>		2020-09-23 12:37:25 +01:00
..
src	devices: remove the migration traits for the Gic struct	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