I built a bin image from sel4test (https://github.com/seL4/sel4test).

I am trying to load .bin image on RPI-3, but it's failing. 

I am following below steps...

U-Boot> fatload mmc 0 0x00200000 kernel.bin
reading kernel.bin2108096 bytes read in 329 ms (6.1 MiB/s)
U-Boot> go 0x00200000
## Starting application at 0x00200000 ... 

i got stuck here...

Along with this i also tried with two another methods but facing same issue..
METHOD-1 :-
==========
U-Boot> fatload mmc 0 0x00200000 kernel.bin
reading kernel.bin2108096 bytes read in 330 ms (6.1 MiB/s)
U-Boot> loadb 0x00200000 115200
## Ready for binary (kermit) download to 0x00200000 at 115200 bps..
U-Boot> load mmc 0:1 0x00200000 kernel.bin
2108096 bytes read in 330 ms (6.1 MiB/s)
U-Boot> go 0x00200000
## Starting application at 0x00200000 ...
METHOD-2:-
===========
U-Boot> load mmc 0:1 0x00200000 kernel.bin
reading kernel.bin2108096 bytes read in 330 ms (6.1 MiB/s)
U-Boot> go 0x00200000
## Starting application at 0x00200000 ...

please guide me through this issue, i wanted to load kernel.bin(sel4test-driver-image-arm-bcm2837.bin) file on RPI-3....

Regards
Ashok