Hi all,
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.binreading 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.binreading
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.bin2108096 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.binreading 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....
RegardsAshok
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
