[seL4] Re: sel4 for Imx8Plus

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.