raspberry BSP: Maybe there is a bug in the linker file?

[Sebastian Huber]

On 19/12/2019 15:28, Niteesh wrote:
> As far as I know, 0x8000 is a fixed address where the bootloader jumps 
> to after loading the application assuming the CPU is in 32bit mode. For 
> 64bit mode, it jumps to 0x80000.

Would you mind testing this patch:

https://lists.rtems.org/pipermail/devel/2019-December/056551.html

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.