On Fri, Nov 06, 2009 at 01:01:39PM +0530, Saifi Khan wrote: > On my AMD64X2 box, i've buildworld+buildkernel with SMP enabled > and want to setup vkernel. > > Referring to the vkernel setup here > http://www.dragonflybsd.org/docs/user/vKernelSetup/ I believe your real problem is that vkernel won't build on amd64 or x86_64 system yet.