rpi: set board serial number in environment

[oweals/u-boot.git] / arch / arm / lib / sections.c

diff --git a/arch/arm/lib/sections.c b/arch/arm/lib/sections.c
index e35687c09cdd5193041a5d7bbfbe78fdf9026e97..a1205c370dade549812191a61f35d839fad60342 100644 (file)
--- a/arch/arm/lib/sections.c
+++ b/arch/arm/lib/sections.c
@@ -25,3 +25,6 @@ char __image_copy_start[0] __attribute__((section(".__image_copy_start")));
 char __image_copy_end[0] __attribute__((section(".__image_copy_end")));
 char __rel_dyn_start[0] __attribute__((section(".__rel_dyn_start")));
 char __rel_dyn_end[0] __attribute__((section(".__rel_dyn_end")));
+char __secure_start[0] __attribute__((section(".__secure_start")));
+char __secure_end[0] __attribute__((section(".__secure_end")));
+char _end[0] __attribute__((section(".__end")));