| 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 SYS_FDT_ADDR |
| hex "FDT load address" |
| default 0x83000000 |
| help |
| The address the FDT file should be loaded to. |
| |
| config IMX_CONFIG |
| default "board/warp7/imximage.cfg" |
| |
| endif |