Re: [PATCH 13/17] gnu: make-linux-libre: Add zImage to output.

2016-09-12 Thread David Craven
Yes. Newer U-Boot support booting from zImage (using command "bootz" on the U-Boot prompt). Nixos specifies a kernel target, is this necessary or are all arm kernels using zImage now?

Re: [PATCH 13/17] gnu: make-linux-libre: Add zImage to output.

2016-09-12 Thread Danny Milosavljevic
> I suppose “zImage” is for ARM, right? Yes. Newer U-Boot support booting from zImage (using command "bootz" on the U-Boot prompt). (Older U-Boot needed a special "uImage" which had beeen created by a tool "mkimage" which contain loader (target) information (using command "bootm" on the U-Boot

Re: [PATCH 13/17] gnu: make-linux-libre: Add zImage to output.

2016-09-11 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/linux.scm (make-linux-libre): Add zImage to output. I suppose “zImage” is for ARM, right? LGTM, thanks!