> Intel I5 cpu, Side note: this doesn't say much more than "an amd64 CPU produced by Intel in the last 13 years and whose release price was somewhere between $200 and $300" :-)
See https://en.wikipedia.org/wiki/List_of_Intel_Core_i5_processors for more details. Stefan
