| if TARGET_WARP7 | |
| config SYS_BOARD | |
| default "warp7" | |
| config SYS_CONFIG_NAME | |
| default "warp7" | |
| config WARP7_ROOT_PART | |
| int "Partition number to use for root filesystem" | |
| default 2 | |
| help | |
| The partition number to use for root filesystem this is the | |
| partition that is typically specified with root=/dev/sdaX or | |
| which gets converted into a root=PARTUUID=some_uuid. | |
| config IMX_CONFIG | |
| default "board/warp7/imximage.cfg" | |
| endif |