On 11/09/17 17:39, Stefano Stabellini wrote:
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:
The format is call Image. Image.gz is just a compressed version and
unlike zImage you can't boot it directly without the help of an external
loader to uncompress it.
For instance, today, Xen is not able to decompress Image.gz by itself.
It relies on the bootloader (assuming it has support for it).
Cheers,
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.
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
