On 08/17/09 08:26, Pasi Kärkkäinen wrote:
>> .. and now it boots just fine, no crashes anymore!
>>
>> Thanks a lot!
>> 
Ah, good.
> Just for the record I'm still using CONFIG_HIGHPTE=n since I believe that is
> still broken on 32bit.
>
Yes, it is. HIGHPTE isn't recommended in general because it imposes a
fairly high performance hit (even without Xen, but worse with). And,
worse, at the moment I don't have any plausible fix for the bug. Its
really a left-over from the days of 32-bit machines with much more than
4G of memory; these days you'd use 64-bit.
 J
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel