search

au-ts / libvmm

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

Fix return value for failed VM exception callbacks #124

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 2 months ago

I don't know why I even wrote this comment originally. I think I must have refactored something and not considered this case.