> True. If it was merely GENERIC[.MP] with vmm enabled, then fine. But a
> kernel named "TIMMU" could deserve some explanation as to what's been
> done to it.

That's why I included the config in the first email, but I see where the
confusion arises.
Since VMM is not enabled by default and changing the GENERIC config doesn't 
seem right (and will mess with cvs updates).

Best way I can come up with..

# cat /usr/src/sys/arch/amd64/conf/VMM
include "arch/amd64/conf/GENERIC.MP"
vmm0    at mainbus0

Is that acceptable?

---
Regards,

Mart

Reply via email to