xref: /rk3399_rockchip-uboot/board/freescale/t4rdb/Kconfig (revision 208e1ae8d1668278fe46f13d8d7c0e40f7cdc6ec) 
1if TARGET_T4160RDB || TARGET_T4240RDB
2
3config SYS_BOARD
4	default "t4rdb"
5
6config SYS_VENDOR
7	default "freescale"
8
9config SYS_CONFIG_NAME
10	default "T4240RDB"
11
12endif
13