カーネルパラメータをカーネルコンフィグで指定していたのに、デバイスツリーに追加したところ、そちらが優先された。 調べると、どうもそうらしい。 A Tutorial on the Device Tree (Zynq) -- Part II | xillybus.com here are three sources for the kerne…