menu "Platform support"
       depends on PPC_82xx

choice
       prompt "Machine Type"
       default MPC82xx_ADS

config MPC82xx_ADS
       bool "Freescale MPC82xx ADS"
       select DEFAULT_UIMAGE
       select PQ2ADS
       select 8272
       select 8260
       select CPM2
       select FSL_SOC
       help
         This option enables support for the MPC8272 ADS board

endchoice

endmenu