Chomebook 101

http://dev.chromium.org/chromium-os/developer-information-for-chrome-os-devices

Release date	Manufacturer	Model	Project code name
December 2010	Google	Cr-48	Mario
June 2011	Samsung	Series 5 Chromebook	Alex
July 2011	Acer	AC700 Chromebook	ZGB
May 2012	Samsung	Series 3 Chromebox	Stumpy
May 2012	Samsung	Series 5 550 Chromebook	Lumpy

wiki:http://en.wikipedia.org/wiki/Chromebook

Samsung Series 5 550 Chromebook does not support IOMMU. It uses 1.3 GHz Intel Celeron 867 Processor. Please see following link from wiki:

http://en.wikipedia.org/wiki/Intel_Celeron_867#Sandy_Bridge_based_Celerons_2
http://ark.intel.com/products/63918