search

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
29 stars 15 forks source link

Emulate WFI instructions properly #115

Open Ivan-Velickovic opened 3 months ago

Ivan-Velickovic commented 3 months ago

Right now libvmm does not properly emulate ARM WFI instructions properly. We should be stopping the vCPU when it does a WFI instruction and then restart it once a vIRQ comes in.