Did you try anything from my thread from January? http://sel4.systems/pipermail/devel/2020-January/002595.html
On Thu, Mar 5, 2020, 5:03 PM Travis Wheatley < [email protected]> wrote: > Hello all, > > I am spinning up on sel4 and having difficulty booting a kernel on a > Jetson TK1 board. I have successfully downloaded the cmakes repo and can > build the x86 version of the code and run it as a simulation. I can also > successfully build the TK1 version by changing the -DARCHETECTURE argument > passed to init-build.sh to “tk1”. This results in a single image file named > “capdl-loader-image-arm-tk1” to show up in my images folder (as opposed to > both a kernel image and “userland” image that get created in the x86 > version). > > So… I put that image on an SD card, plug it into the TK1, boot to a uboot > prompt, and load the image using the command “fatload mmc 1 0x82000000 > <filename>”. I can use “md” to see that the image is actually loaded > properly. However, when I type “go 0x82000000” I see no output what so ever > going out of the serial port. What I expect to see is similar output to > what was displayed in the x86 simulation. > > I posted the question to the IRC channel yesterday and someone suggested > using bootm or bootelf. No luck with either of these. So… hoping someone > here might be able to give me a clue. > > — Travis > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
