Enhance protection from security bugs in the Xen hypervisor
Anthony PERARD
Enhance protection from security bugs in the Xen hypervisor Anthony - - PowerPoint PPT Presentation
Enhance protection from security bugs in the Xen hypervisor Anthony PERARD Xen architecture Dom0 VMs QEMU Xen Scheduler MMU vPIC Memory CPUs I/O HW Emulation in hypervisor For performance Examples: Interrupt controller
Anthony PERARD
HW Xen Scheduler MMU vPIC Memory CPUs I/O Dom0 QEMU VMs
– Interrupt controller – Real mode emulation – Timers
– Interrupt controller – Real mode emulation – Timers
– .hvm_deprivileged_enhancement.text
– vmx_ctxt_switch_from() – Save EFER, then allow sysret/syscall – Save registers – Setup new stack for depriv mode – Sysret – Now in user mode, call the function
– .rodata
– Access other memory? – Infinite loop? – Other exception?
– Page fault – General exception – ...
– Page fault – General exception – ...
– Page fault – General exception – ...
– Watchdog
– Page fault – General exception – ...
– Watchdog → crash domain
– Set a number in a register, then syscall
– Set a number in a register, then syscall
– Have a syscall number for actual return
– http://lists.xen.org/archives/html/xen-devel/
– http://lists.xen.org/archives/html/xen-devel/