IDPSsummarysource
2905 4 RES hypervisor does not, in fact, restart the kernel after a kernel halt rhet0rica