Xen 4.0 and option SMP support ?

[Antonio Huete Jimenez]

Hi Xavier,

Today there have been some code pushed to the main repo which was in
i386 but not in x86_64. It is related to the way SMP systems are being
initalized. Would you mind to try with the latest x86_64 ISO snapshot?
Make sure the snapshot is dated on September, 24.

You can grab it from: http://avalon.dragonflybsd.org/snapshots/x86_64/


Cheers,
Antonio Huete