FYI I tried the same script on a different RPi 4 B+ and it works as expected, so it must have been some faulty hardware. Thank you all for help! _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
- [seL4] U-boot for Raspberry PI mpodhradsky
- [seL4] Re: U-boot for Raspberry PI Ivan Velickovic
- [seL4] Re: U-boot for Raspberry PI Michal Podhradsky
- [seL4] Re: U-boot for Raspberry PI ed sandberg
- [seL4] Re: U-boot for Raspberry PI mpodhradsky
- [seL4] Re: U-boot for Raspberry PI ed sandberg
