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_ARV452
25 select IFXMIPS_ARCAYDIAN_BRNBOOT