> On Apr 25, 2021, at 10:06 AM, Manuel Bouyer <bouyer%antioche.eu.org@localhost> wrote: > > It's in the default image, so all SoCs should have it, but not all will > use it. As I understand it, this is for the raspberry pi. Correct, that file is RPI only. (It’s consumed by the RPI firmware.) -- thorpej