kernel modules for non-PAE Xen still being built/installed?

"John D. Baker" <[email protected]>
Newsgroups gmane.os.netbsd.ports.i386
Message-ID <[email protected]>
About six weeks ago, the non-PAE versions of the NetBSD-XEN kernels for
i386 (XEN3_DOM0, XEN3_DOMU, INSTALL_XEN3_DOMU) were retired from -current.
(As I understand it, all current XEN kernels (pkgsrc sysutils/xenkernel*)
for 32-bit x86 require PAE.)

Since then, kernel modules for non-PAE NetBSD-XEN kernels are still
being built and installed ("/stand/i386-xen/8.99.*/modules/...").  There
is "/stand/i386pae-xen/8.99.*/modules/..." for PAE NetBSD-XEN kernels.

Should not these also be retired and no-longer built/installed?

-- 
|/"\ John D. Baker, KN5UKS               NetBSD     Darwin/MacOS X
|\ / jdbaker[snail]mylinuxisp[flyspeck]com    OpenBSD            FreeBSD
| X  No HTML/proprietary data in email.   BSD just sits there and works!
|/ \ GPGkeyID:  D703 4A7E 479F 63F8 D3F4  BD99 9572 8F23 E4AD 1645
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.