カーネルパラメータ

カーネルパラメータをカーネルコンフィグで指定していたのに、デバイスツリーに追加したところ、そちらが優先された。

 

調べると、どうもそうらしい。

A Tutorial on the Device Tree (Zynq) -- Part II | xillybus.com

 

here are three sources for the kernel boot command line in general:

  • Those given as CONFIG_CMDLINE in the kernel configuration
  • Those passed on by the boot loader (typically U-boot on ARM processors, LILO or GRUB on x86)
  • Those included in the device tree, under chosen/bootargs (see listing above)

Which one is used depends on kernel configuration parameters. In Xillinux, the device tree’s chosen/bootargs is used.

 

知ってるようで知らないデバイスツリー。

このサイトも詳しい解説がある

Device Tree Usage - eLinux.org