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.


Reply via email to