soc_name for supermicrox11-bmc machine: ast2400-a1 or ast2500-a1 ?

[Guenter Roeck]

Hi,

I always wondered why I am having trouble running Linux on supermicrox11-bmc.
Building the kernel with aspeed_g4_defconfig results in its clock running
at ~20x the real clock speed, and kernels built with aspeed_g5_defconfig
do not boot at all.

I ended up spending some time on it last weekend and noticed that the SOC
is configured to ast2400-a1. However, the Supermicro documentation as well
as the devicetree file in the Linux kernel suggest that the SOC on the X11
board is an ast2500.

Indeed, it turns out that all my problems are gone if I change the SOC
to ast2500-a1 and use aspeed_g5_defconfig to build the Linux kernel.

Was there a reason to select ast2400-a1 for this machine, or is that
a bug ?

Thanks,
Guenter