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.

...

...

...

...

"tunacici7" == tunacici7 writes:

tunacici7> It looks like a problem with U-Boot not detecting or tunacici7> working properly with the eMMC. The command “fatload” tunacici7> should print a bit more error message than what you have tunacici7> provided. The IMX board has two mmc interfaces; one is attached to eMMC soldered to the baord, and one is the sd card. You need to work out which one is which. You should be able to do mmc info mmc part to see the 'current' MMC interface's details and partition table; if that doesn't look like the place you put the image, then swap to the other interface. mmc dev 1 mmc info mmc part When you set up the SD card, I'm assuming you either left it as it came from the manufacturer, or set it up with a FAT32 fileystem on a single partition. Then fatload mmc <dev>:<part> <address> <name-of-image> should work. But you need to put in the <dev> and <part> numbers that match your setup -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.