20 Jan
2023
20 Jan
'23
12:01 p.m.
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