I believe you're correct - Xbox runs a modified Windows 20000, and subsequent versions I'm not certain on but I know it basically stands up a modified Hyper-V and the parent partition is the interface OS with games booting whatever kernel they were built for inside a VM