47a48
> import PlatformConfig
58a60,63
> def _listPlatformTypes(option, opt, value, parser):
> PlatformConfig.print_platform_list()
> sys.exit(0)
>
265a271,273
> parser.add_option("--list-machine-types",
> action="callback", callback=_listPlatformTypes,
> help="List available platform types")
267c275,276
< choices=ArmMachineType.map.keys(), default="VExpress_EMM")
---
> choices=PlatformConfig.platform_names(),
> default="VExpress_EMM")