Use MACH_TYPE_BCM2708 as the Linux machine type for the Raspberry Pi. The Raspberry Pi actually uses a BCM2835. However, the 2835 this is apparently a SKU in a series for which the BCM2708 is the first or perhaps primary version, such that the 2708 name has historically been used for this purpose.
Extracted from work by Oleksandr Tymoshenko <go...@bluezbox.com>. Signed-off-by: Stephen Warren <swar...@wwwdotorg.org> --- include/configs/rpi_b.h | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/include/configs/rpi_b.h b/include/configs/rpi_b.h index 8bdd014..a8883d3 100644 --- a/include/configs/rpi_b.h +++ b/include/configs/rpi_b.h @@ -23,6 +23,11 @@ #define CONFIG_ARM1176 #define CONFIG_BCM2835 #define CONFIG_ARCH_CPU_INIT +/* + * 2835 is a SKU in a series for which the 2708 is the first or primary SoC, + * so 2708 has historically been used rather than a dedicated 2835 ID. + */ +#define CONFIG_MACH_TYPE MACH_TYPE_BCM2708 /* Timer */ #define CONFIG_SYS_HZ 1000000 -- 1.7.9.5 _______________________________________________ U-Boot mailing list U-Boot@lists.denx.de http://lists.denx.de/mailman/listinfo/u-boot
