DomU kernel