| if TARGET_PLATINUM_PICON | |
| config SYS_CPU | |
| default "armv7" | |
| config SYS_VENDOR | |
| default "barco" | |
| config SYS_BOARD | |
| default "platinum" | |
| config SYS_CONFIG_NAME | |
| default "platinum_picon" | |
| endif | |
| if TARGET_PLATINUM_TITANIUM | |
| config SYS_CPU | |
| default "armv7" | |
| config SYS_VENDOR | |
| default "barco" | |
| config SYS_BOARD | |
| default "platinum" | |
| config SYS_CONFIG_NAME | |
| default "platinum_titanium" | |
| endif |