x86: Mention how to boot a 64-bit kernel from U-Boot
[u-boot.git] / doc / uImage.FIT / kernel.its
1 /*
2  * Simple U-Boot uImage source file containing a single kernel
3  */
4
5 /dts-v1/;
6
7 / {
8         description = "Simple image with single Linux kernel";
9         #address-cells = <1>;
10
11         images {
12                 kernel@1 {
13                         description = "Vanilla Linux kernel";
14                         data = /incbin/("./vmlinux.bin.gz");
15                         type = "kernel";
16                         arch = "ppc";
17                         os = "linux";
18                         compression = "gzip";
19                         load = <00000000>;
20                         entry = <00000000>;
21                         hash@1 {
22                                 algo = "crc32";
23                         };
24                         hash@2 {
25                                 algo = "sha1";
26                         };
27                 };
28         };
29
30         configurations {
31                 default = "config@1";
32                 config@1 {
33                         description = "Boot Linux kernel";
34                         kernel = "kernel@1";
35                 };
36         };
37 };
38
39
40
41 For x86 a setup node is also required: see x86-fit-boot.txt.
42
43 /dts-v1/;
44
45 / {
46         description = "Simple image with single Linux kernel on x86";
47         #address-cells = <1>;
48
49         images {
50                 kernel@1 {
51                         description = "Vanilla Linux kernel";
52                         data = /incbin/("./image.bin.lzo");
53                         type = "kernel";
54                         arch = "x86";
55                         os = "linux";
56                         compression = "lzo";
57                         load = <0x01000000>;
58                         entry = <0x00000000>;
59                         hash@2 {
60                                 algo = "sha1";
61                         };
62                 };
63
64                 setup@1 {
65                         description = "Linux setup.bin";
66                         data = /incbin/("./setup.bin");
67                         type = "x86_setup";
68                         arch = "x86";
69                         os = "linux";
70                         compression = "none";
71                         load = <0x00090000>;
72                         entry = <0x00090000>;
73                         hash@2 {
74                                 algo = "sha1";
75                         };
76                 };
77         };
78
79         configurations {
80                 default = "config@1";
81                 config@1 {
82                         description = "Boot Linux kernel";
83                         kernel = "kernel@1";
84                         setup = "setup@1";
85                 };
86         };
87 };
88
89 Note: the above assumes a 32-bit kernel. To directly boot a 64-bit kernel,
90 change both arch values to "x86_64". U-Boot will then change to 64-bit mode
91 before booting the kernel (see boot_linux_kernel()).