arm: Set default MACH_TYPE in Kconfig
For boards which requires correct MACH_TYPE, set their correct default
values directly in Kconfig.
Signed-off-by: Pali Rohár <pali@kernel.org>
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 949ebb4..0b72e4f 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -2126,6 +2126,7 @@
config STATIC_MACH_TYPE
bool "Statically define the Machine ID number"
+ default y if TARGET_DS109 || TARGET_NOKIA_RX51 || TARGET_DS414 || DEFAULT_DEVICE_TREE = "sun7i-a20-icnova-swac"
help
When booting via ATAGs, enable this option if we know the correct
machine ID number to use at compile time. Some systems will be
@@ -2134,6 +2135,10 @@
config MACH_TYPE
int "Machine ID number"
depends on STATIC_MACH_TYPE
+ default 527 if TARGET_DS109
+ default 1955 if TARGET_NOKIA_RX51
+ default 3036 if TARGET_DS414
+ default 4283 if DEFAULT_DEVICE_TREE = "sun7i-a20-icnova-swac"
help
When booting via ATAGs, the machine type must be passed as a number.
For the full list see https://www.arm.linux.org.uk/developer/machines