On Thu, Apr 16, 2020 at 02:30:02PM +0200, Samuel Thibault wrote: > Juergen Gross, le jeu. 16 avril 2020 14:27:48 +0200, a ecrit: > > Provide a mini-os binary stripped from debug information in order to > > have a smaller resulting kernel file. The binary with debug > > information is kept with the suffix "-debug". > > > > Signed-off-by: Juergen Gross <[email protected]> > > Reviewed-by: Samuel Thibault <[email protected]> >
Applied.
