Re: How to compile x86_64 NetBSD Xen domU PV kernel and userland

[Greg Troxel <gdt%lexort.com@localhost>]

"J. Lewis Muir" <jlmuir%imca-cat.org@localhost> writes:

> but based on your reply, I found XEN3_DOMU in
>
>   /usr/src/sys/arch/amd64/conf
>
> So, for using build.sh, I just specify XEN3_DOMU for the kernel name
> instead of GENERIC?  In other words, instead of

"build.sh distribution" will build all the kernels that are part of the
release, including the XEN kernels (DOM0, DOMU, install variants).  Yes,
it takes a bit longer, but it will make your life easier to just do
that.