From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <f6aea22a0e9ce6ace0833b525815b028@hamnavoe.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Xen 3.1 Invalid kernel during installation
From: Richard Miller <9fans@hamnavoe.com>
Date: Thu, 20 Dec 2007 13:24:58 +0000
In-Reply-To: <c4129bea0712200441q45e3f983u45dbacb9f714acff@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 1e4b9836-ead3-11e9-9d60-3106f5b1d025

> Error: (2, 'Invalid kernel', 'xc_dom_compat_check: guest type
> xen-3.0-x86_32 not supported by xen kernel, sorry\n')

Probable cause is that your Xen is configured with PAE enabled,
which means it won't boot non-PAE kernels.  Plan 9 Xen kernel
currently doesn't support PAE.  Look for "xen3 and pae problems"
in comp.os.plan9 for discussion on this topic.