On Mon, Feb 08, 2016 at 04:53:00PM +0000, Andrew Cooper wrote: > As an alternative check which should be doable this early on, peeking in > the head of hypercall_page should work. If Linux was booted as a PV > guest, the hypercall_page will have been constructed by the domain > builder, and won't have 0x90's in it.
Good to know, we might need it for something. :) Thanks. -- Regards/Gruss, Boris. ECO tip #101: Trim your mails when you reply.