mythril-hypervisor/mythril

Restrict inter-core messaging where appropriate

ALSchwalm opened this issue · 0 comments

Currently there are not checks on what VirtualMachineMsg can be sent to/from a given core. This means that, in theory, one VM could send, e.g. StartVcpu to a core that does not belong to it. We should at least restrict those messages that are not appropriate to be sent from one vm to another.