Robuta

https://os.inf.tu-dresden.de/mailman3/hyperkitty/list/l4-hackers@os.inf.tu-dresden.de/thread/LQ37Q2NSA63JPRP6FQJYK5YWULHW2DFX/ Issue Rebooting Guest OS in UVMM: Invalid Capability Invoke - l4-hackers - example.com Site