|| xyzzy.i || XEN || Intel(R) Xeon(R) CPU || X5679 || 3.20GHz || x86_64 ||
|| glaptop-x220 || Lenovo X220 || Intel(R) Core(TM) i5 || 2520M || 2.50GHz || x86_64 ||
|| giskard-x201 || Lenovo X201 || Intel(R) Core(TM) i7 CPU || M 620 || 2.67GHz || x86_64 ||
|| xyzzy.i || XEN || Intel(R) Xeon(R) CPU || X5679 || 3.20GHz || x86_64 ||
|| glaptop-x220 || Lenovo X220 || Intel(R) Core(TM) i5 || 2520M || 2.50GHz || x86_64 ||
|| giskard-x201 || Lenovo X201 || Intel(R) Core(TM) i7 CPU || M 620 || 2.67GHz || x86_64 ||