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. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
