Hello I have found that a mainline U-Boot works for both Rapsberry Pi 3 and 4. I don't think it is necessary to revert the commit anymore. It's on my to-do list to update the documentation.
Ivan ________________________________ From: [email protected] <[email protected]> Sent: Friday, 20 January 2023 12:01 PM To: [email protected] <[email protected]> Subject: [seL4] U-boot for Raspberry PI [Some people who received this message don't often get email from [email protected]. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ] Hello! The instructions for building seL4 for Raspberry Pi 3 and 4 mention ask for a custom compiled U-boot. The note mentions that an automatic revert of the specified commit no longer works. Is this patched U-boot still necessary, or will a vanilla version work? If the customization is still needed, do you have a modified version available? It is not clear how to modify the recent U-boot, since it has changed significantly. Regards Michal _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
