I've noticed that device drivers listed in arch/xen/conf/files.xen
(or, at least, most of those devices) seem to be included in kernel
even if not using XEN. Shouldn't all those devices be conditional?
# sysctl -a | grep driver | tr ',' '\n' | grep 'x[be]*'
...
[141 -1 xenevt]
[142 142 xbd]
[143 -1 xencons]
# tail $OBJDIR/amd64/sys/arch/amd64/compile/SPEEDY/opt_xen.h
#endif
/* option `XEN' not defined */ <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
#ifdef _LOCORE
.ifndef _KERNEL_OPT_XEN
.global _KERNEL_OPT_XEN
.equiv _KERNEL_OPT_XEN,0x6e074def
.endif
#else
__asm(" .ifndef _KERNEL_OPT_XEN\n .global _KERNEL_OPT_XEN\n .equiv
_KERNEL_OPT_XEN,0x6e074def\n .endif");
#endif
+--------------------+--------------------------+----------------------+
| Paul Goyette | PGP Key fingerprint: | E-mail addresses: |
| (Retired) | FA29 0E3B 35AF E8AE 6651 | p...@whooppee.com |
| Software Developer | 0786 F758 55DE 53BA 7731 | pgoye...@netbsd.org |
| & Network Engineer | | pgoyett...@gmail.com |
+--------------------+--------------------------+----------------------+