# The xen and PAE kernels are only available for x86
if [ "${MACHINE_TYPE}" != "arm" ]; then
-# ipfiremake linux2 KCFG="-xen"
+ ipfiremake linux2 KCFG="-xen"
# ipfiremake v4l-dvb KCFG="-xen"
# ipfiremake mISDN KCFG="-xen"
-# ipfiremake dahdi KCFG="-xen" KMOD=1
-# ipfiremake cryptodev KCFG="-xen"
-# ipfiremake compat-wireless KCFG="-xen"
+ ipfiremake dahdi KCFG="-xen" KMOD=1
+ ipfiremake cryptodev KCFG="-xen"
+ ipfiremake compat-wireless KCFG="-xen"
# ipfiremake r8169 KCFG="-xen"
# ipfiremake r8168 KCFG="-xen"
# ipfiremake r8101 KCFG="-xen"