diff options
author | Ahmad Fatoum <a.fatoum@pengutronix.de> | 2022-06-09 07:59:22 +0200 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2022-06-17 08:28:55 +0200 |
commit | 83788e3f3a79344efe87c870a908f65ec2875f78 (patch) | |
tree | 4ba7141f358d3bea2ab30daba23b6f1428544c5d /include/asm-generic/sections.h | |
parent | d7c9e13a6f03f9ebc9511ad8d6ecee7ab90f5740 (diff) | |
download | barebox-83788e3f3a79344efe87c870a908f65ec2875f78.tar.gz barebox-83788e3f3a79344efe87c870a908f65ec2875f78.tar.xz |
ARM: rpi: use correct kernel8.img as name for 64-bit
This ensures boot rpi does the right thing on the Raspberry Pi 4.
Signed-off-by: Ahmad Fatoum <a.fatoum@pengutronix.de>
Link: https://lore.barebox.org/20220609055922.667016-22-a.fatoum@pengutronix.de
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'include/asm-generic/sections.h')
0 files changed, 0 insertions, 0 deletions