Buzzin, met je cat commando krijg ik inderdaad een keurig lijstje.
Het ging me over de keuze 32 of 64 bits 14.04, voor mijn toch 32 bits systeem. Proefdraaien met beide DVD's leverde geen problemen op, dus gekozen voor de 64 bits versie.
In je lijstje zie ik nu processor 0 en 1, met ieder
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Pentium(R) 4 CPU 3.20GHz
stepping : 3
microcode : 0x5
..............
en
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
..............
Ik neem aan dat nu iedere chip in de Intel-omhulling 32-bits woordbreedte afhandeld.
Bedankt voor je suggesties.