Re: Upgrade NetBSD kernel?

[Steve Mynott <steve.mynott%gmail.com@localhost>]

Ah that's fairly obvious of course thanks!

I suppose one issue with dd'ing the image directly is that I don't
have any kind of boot loader to load the old kernel if the new one
doesn't work! I guess booting off the pro's sd card might work!

S

On Wed, 10 Jun 2020 at 09:05, <ignatios%cs.uni-bonn.de@localhost> wrote:
>
> On Tue, Jun 09, 2020 at 09:09:55PM +0100, Robert Swindells wrote:
>
> > On your aarch64 machine do:
> >
> > # cd /
> > # mv netbsd netbsd.old
> > # cp /wherever/you/downloaded/to/netbsd-GENERIC64 netbsd
> > # shutdown -r now
>
> I suggest:
>
> # cd /
> # ln -f netbsd netbsd.old
> # cp  /wherever/you/downloaded/to/netbsd-GENERIC64 netbsd.new
> # mv -f netbsd.new netbsd
> # shutdown -r now
>
> This way you have one kernel named netbsd at every time, even if your
> machine loses power mid-process.
>
>         -is



-- 
Steve Mynott <steve.mynott%gmail.com@localhost>
cv25519/ECF8B611205B447E091246AF959E3D6197190DD5