Re: [Xen-devel] [PATCH RFC] Add SUPPORT.md

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Mon, 11 Sep 2017, Julien Grall wrote:
> On 07/09/17 22:54, Stefano Stabellini wrote:
> > On Thu, 31 Aug 2017, George Dunlap wrote:
> > > +### Direct-boot kernel image format
> > > +
> > > +    Supported, x86: bzImage
> > > +    Supported, ARM32: zImage
> > > +    Supported, ARM64: Image [XXX - Not sure if this is correct]
> > 
> > On ARM64 it's called Image.gz.
> 
> That's not true. Linux produces an Image. You can compress after if you want,
> but it is not the default.

Are you sure? Why do you say Image it's the default? If I do `make
help', the result is:


Architecture specific targets (arm64):
* Image.gz      - Compressed kernel image (arch/arm64/boot/Image.gz)
  Image         - Uncompressed kernel image (arch/arm64/boot/Image)
* dtbs          - Build device tree blobs for enabled boards
  dtbs_install  - Install dtbs to /boot/dtbs/4.13.0-rc1+
  install       - Install uncompressed kernel
  zinstall      - Install compressed kernel
                  Install using (your) ~/bin/installkernel or
                  (distribution) /sbin/installkernel or
                  install to $(INSTALL_PATH) and run lilo


Note that the default build targets are the ones that are starred.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel