J'ai vu le système sur puce de Raspberry Pi généralement appelé "BCM2835" (par exemple sur Wikipedia ), mais parfois "BCM2708" (par exemple, les sources du pilote Linux SPI se trouvent dans bcm2708.c ou dans des commentaires sur mon autre question ). Qui a raison, ou les deux, pourquoi? En...