issues
search
au-ts
/
libvmm
An experimental virtual machine monitor for the seL4 microkernel
Other
29
stars
15
forks
source link
Improve handling of custom VM exceptions
#125
Closed
Ivan-Velickovic
closed
2 months ago
Ivan-Velickovic
commented
2 months ago
Add more error checking (for overlapping etc)
Do not enforce page alignment for the exception region. Certain devices are not page aligned and so if we try to emulate those we need to be able to register a region that does not align on a page-boundary.