Hi all,

I know this thread was started 18 months ago, but is there any update on this? I am attempting to do exactly the same thing (seL4 ELF image in a FIT image with verified boot) and am encountering exactly the same issue.

My image works on its own using bootelf, and as with Grant I am able to create a working uImage in the same manner however the FIT image is eluding me.

I feel this should be simple, and yet nothing I try seems to work.

Any help would be appreciated!

Kind regards,

Ben Turner

________________________________________ Roke Manor Research Limited, Romsey, Hampshire, SO51 0ZN, United Kingdom.Part of the Chemring Group. Registered in England & Wales. Registered No: 00267550 http://www.roke.co.uk _______________________________________ The information contained in this e-mail and any attachments is proprietary to Roke Manor Research Limited and must not be passed to any third party without permission. This communication is for information only and shall not create or change any contractual relationship. ________________________________________