mythril
mythril copied to clipboard
More accurate CPUID emulation
Currently we (mostly) just call CPUID in the host. This won't work for #13, so will need to actually emulate some of this. It will need to be done piecemeal, as cpuid has a ton of parts. This can be closed once we have a more clear idea of what the specific portions are we need to emulate.
Relevant mythril site: https://github.com/ALSchwalm/mythril/blob/master/mythril_core/src/vcpu.rs#L520 KVM: https://elixir.bootlin.com/linux/v4.19.83/source/arch/x86/kvm/cpuid.c
I have no idea how hard this is but I'll try this. If I end up working on this partially from home you may see @pirocks in this issue. That's my personal account.
:+1: sounds good. I'm going to assign @francis-starlab for now, just so it's clear someone is doing this
Thanks @francis-starlab!