Subject: Re: NetBSD and Xen 2.0
To: None <tls@rek.tjls.com>
From: Daniel Hagerty <hag@linnaean.org>
List: port-xen
Date: 12/11/2004 19:35:52 
    Foolish me; some details on my build:

I built the stock XEN kernel config from 2.0 sources, and was using a
locally built xen12load with the patch for u32 et al applied.