On Tue, Feb 06, 2007 at 05:52:41PM -0500, Chris Dukes wrote:
> I realize this topic keeps cropping up, but I've yet to find an answer
> in the netbsd mailing lists.
> 
> Debian has recently stopped shipping non-PAE kernels suitable for
> Xen 3's Dom0.  Unfortunately this makes the use "stock" netbsd
> kernels somewhat difficult.
> 
> I have seen relatively recent mention that it may be easy to add support
> for < 4G but PAE domU support to NetBSD, but have not read further on the 
> topic.
> 
> Has that made it to the form of a patch, or to mainstream?

no, AFAIK nobody is working on this yet ...

-- 
Manuel Bouyer <bouyer@antioche.eu.org>
     NetBSD: 26 ans d'experience feront toujours la difference
--