Re: [Fiasco.OC][Genode] Creating an unstripped image file