Re: Question about upgrading NetBSD system in RaspberryPi

El 18/5/26 a las 15:19, Michael van Elst escribió:
> [email protected] (Ramiro Aceves) writes:
> 
>> all those files do not belong to any of the supplied binary sets, so I think
>> that the only method to upgrade them is by doing it manually with vndconfig.
>> That is the way I always have used to upgrade the system from the beggining.
> 
>> Just curious to know why is it so difficult. I am sure that there must be
>> technical reasons for it to be as is now.
> 
> 
> The firmware files don't belong to NetBSD (and there is no source either).
> These are just in the SD card image that you can directly boot from it.
> 
> It would probably make things easier to put them into a package with
> a tiny update script. The same could be used as source to create the
> SD card image.
> 
> 

Thanks so much to Greg and Michael for their explanations! I appreciate them 
very much.

I think it clears to me now a bit more. Such package and automated script would 
be great from the user perspective but no problem, we can continue as is if that 
would add more bugs or problems to the developers. I also believe that the use 
of  external UEFI firmwares can add more complexity to that subject.

Regards.
Ramiro.