3 config IFXMIPS_ARCAYDIAN_BRNBOOT
7 menu "Infineon SoC machine selection"
9 config DANUBE_MACH_EASY50712
13 config DANUBE_MACH_EASY4010
17 config DANUBE_MACH_ARV4519
20 select DANUBE_ARCAYDIAN_BRNBOOT
22 config DANUBE_MACH_ARV4520
25 select IFXMIPS_ARCAYDIAN_BRNBOOT
27 config DANUBE_MACH_ARV4525
30 select IFXMIPS_ARCAYDIAN_BRNBOOT