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

[Maxime Villard <max%m00nbsd.net@localhost>]

Le 08/09/2018 à 14:02, John D. Baker a écrit :
> 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?

Indeed, it looks like I have to remove sys/modules/arch/x86/i386-xen/.