2016-02-29 12:33:22 +00:00
|
|
|
if TARGET_WARP7
|
|
|
|
|
|
|
|
|
|
config SYS_BOARD
|
|
|
|
|
default "warp7"
|
|
|
|
|
|
|
|
|
|
config SYS_CONFIG_NAME
|
|
|
|
|
default "warp7"
|
|
|
|
|
|
2018-04-24 17:46:41 +00:00
|
|
|
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.
|
|
|
|
|
|
2018-04-24 17:46:40 +00:00
|
|
|
config SYS_FDT_ADDR
|
|
|
|
|
hex "FDT load address"
|
|
|
|
|
default 0x83000000
|
|
|
|
|
help
|
|
|
|
|
The address the FDT file should be loaded to.
|
|
|
|
|
|
2016-02-29 12:33:22 +00:00
|
|
|
endif
|
