Has anyone evaluated running FreeBSD with Intel's x86-64 extensions (which appear to be a copy of AMD's?) http://www.intel.com/technology/64bitextensions/index.htm?iid=techtrends+spo tlight_64bit has intel's detailed instruction set reference on the subject.