Hi sel4 dev team, I'm working on imx8 Plus board for that Building seL4test is done and generated the binary image file of "sel4test-driver-image-arm-imx8mp-evk" with the size of 5mb as per the procedure on sel4 websites. I moved this into sd card and trying to boot into board.but i cant able to boot it. What is the issue on this and how to solve it? if we need to do uboot what's the procedure for that?
Hi, We have seL4test running on the IMX8MP. You need to load it from U-Boot at the address is was built to run at then transfer control to it. The procedure will b something like: fatload mmc 0:1 0x41000000 sel4test-driver-image-arm-imx8mp-evk go 0x41000000 assuming you put th eimage in the first patition of the SD card -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
Thank you for your valuable reply sir, but i struck with the u-boot, while i am trying to do using fatload it shows "can't set block device" as well as the burned file in sd card(i.e) sel4 test-driver-image-arm-imx8mp-evk shows an :unrecognised file-system". so kindly give me some brief procedure to boot this seL4 microkernel into the imx8m plus board.
participants (2)
-
janarthanan.b@teclever.com
-
Peter Chubb