Open dlrobertson opened 4 years ago
The EmulatedDevice::services method should be able to access the VirtualMachineConfig. This is not necessary now, but after https://github.com/mythril-hypervisor/mythril/pull/76 we should get the Interrupt Control Address from the VirtualMachineConfig.
I'll try to address this issue
The EmulatedDevice::services method should be able to access the VirtualMachineConfig. This is not necessary now, but after https://github.com/mythril-hypervisor/mythril/pull/76 we should get the Interrupt Control Address from the VirtualMachineConfig.