ea1abz%gmail.com@localhost (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.