> 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

