| if TARGET_SANDPOINT8240 | |
| config SYS_BOARD | |
| string | |
| default "sandpoint" | |
| config SYS_CONFIG_NAME | |
| string | |
| default "Sandpoint8240" | |
| endif | |
| if TARGET_SANDPOINT8245 | |
| config SYS_BOARD | |
| string | |
| default "sandpoint" | |
| config SYS_CONFIG_NAME | |
| string | |
| default "Sandpoint8245" | |
| endif |