Re: [PATCH 1/6] hw/arm/raspi: Use BCM2708 machine type with pre Device Tree kernels

2020-02-03 Thread Alistair Francis
On Mon, Feb 3, 2020 at 12:28 AM Philippe Mathieu-Daudé wrote: > > When booting without device tree, the Linux kernels uses the $R1 > register to determine the machine type. The list of values is > registered at [1]. > > There are two entries for the Raspberry Pi: > > - https://www.arm.linux.org.uk

[PATCH 1/6] hw/arm/raspi: Use BCM2708 machine type with pre Device Tree kernels

2020-02-03 Thread Philippe Mathieu-Daudé
When booting without device tree, the Linux kernels uses the $R1 register to determine the machine type. The list of values is registered at [1]. There are two entries for the Raspberry Pi: - https://www.arm.linux.org.uk/developer/machines/list.php?mid=3138 name: MACH_TYPE_BCM2708 value: 0xc4