warp7: include: configs: Specify an fdtovaddr
authorBryan O'Donoghue <bryan.odonoghue@linaro.org>
Wed, 8 May 2019 18:14:47 +0000 (19:14 +0100)
committerStefano Babic <sbabic@denx.de>
Fri, 19 Jul 2019 13:21:49 +0000 (15:21 +0200)
commit66a15495b36fec920c8ee556df6819700d8ed31a
tree9156c0326262776403db4f7c62f0043833c7f7d8
parentfac5217a75f683206135253c6bb46751f80b7be6
warp7: include: configs: Specify an fdtovaddr

In the Mbed Linux OS bootflow OP-TEE runs before u-boot and provides a DTB
overlay at 0x83100000.

This overlay should subsequently be merged into the main DTB before handing
over to the kernel.

This patch defines fdtovaddr at 0x83100000.

Signed-off-by: Bryan O'Donoghue <bryan.odonoghue@linaro.org>
include/configs/warp7.h