The firmware in question being Microsoft's ThreadX. This was made FOSS a few years back but that doesn't help with the Pi. https://www.theregister.com/2023/11/

The firmware in question being Microsoft's ThreadX. This was made FOSS a few years back but that doesn't help with the Pi. https://www.theregister.com/2023/11/28/microsoft_opens_sources_threadx/ https://www.theregister.com/2023/11/28/microsoft_opens_sourc...