blob: 0aaf47e6c6bb2a11c067a824830775816b27266e [file] [log] [blame]
Marian Balakowicz18710b82008-03-12 12:13:13 +01001/*
Bin Meng75574052016-02-05 19:30:11 -08002 * Simple U-Boot uImage source file containing a single kernel
Marian Balakowicz18710b82008-03-12 12:13:13 +01003 */
Ira W. Snyderd3bdfea2009-11-04 13:37:59 -08004
5/dts-v1/;
6
Marian Balakowicz18710b82008-03-12 12:13:13 +01007/ {
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};
Simon Glass0129b522014-10-19 21:11:24 -060038
39
40
41For 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};
Simon Glassc7d46cc2016-07-17 01:22:41 -060088
89Note: the above assumes a 32-bit kernel. To directly boot a 64-bit kernel,
90change both arch values to "x86_64". U-Boot will then change to 64-bit mode
91before booting the kernel (see boot_linux_kernel()).