| 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. | |
| endif | |