Re: sysinst installs .bin kernel

[Harold Gutch <logix%foobar.franken.de@localhost>]

On Thu, Dec 14, 2017 at 02:13:39PM +0000, Nick Hudson wrote:
> On 14/12/2017 14:07, Harold Gutch wrote:
> >Also, can the .bin kernel even be removed completely?  I suppose
> >having the ELF kernel in / might be useful, but right now
> >kern-RPI*.tgz contains three kernels (.bin, .img, ELF) and I am not
> >sure if there still is a point at all in keeping the .bin kernel
> >around after the corresponding .img is built.
> 
> Pretty sure the .bin can die - it's a build step only now.

OK, so perhaps something as simple as a

  && ${RM} ${.TARGET:R}.bin

(untested!) in src/distrib/evbarm/instkernel/instkernel at the end of
the create-img definition would already do.


> Thanks for the fixes.

Happy to help, and thank you for committing them.


  Harold