kernel.rst 2.4 KB

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