1if TARGET_WARP7
2
3config SYS_BOARD
4	default "warp7"
5
6config SYS_CONFIG_NAME
7	default "warp7"
8
9config WARP7_ROOT_PART
10	int "Partition number to use for root filesystem"
11	default 2
12	help
13	  The partition number to use for root filesystem this is the
14	  partition that is typically specified with root=/dev/sdaX or
15	  which gets converted into a root=PARTUUID=some_uuid.
16
17config IMX_CONFIG
18	default "board/warp7/imximage.cfg"
19
20endif
21