1if TARGET_WARP7 2 3config SYS_BOARD 4 default "warp7" 5 6config SYS_CONFIG_NAME 7 default "warp7" 8 9config SYS_FDT_ADDR 10 hex "FDT load address" 11 default 0x83000000 12 help 13 The address the FDT file should be loaded to. 14 15endif 16