diff --git a/src/plat/allwinnerA20/linker.lds b/src/plat/allwinnerA20/linker.lds
deleted file mode 100755
index b885b8fb7395a4d594d7d457bc9d93ec03d3e6ff..0000000000000000000000000000000000000000
--- a/src/plat/allwinnerA20/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2015, DornerWorks, Ltd.
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xA0000000;
-PHYS_BASE = 0x48000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/am335x/linker.lds b/src/plat/am335x/linker.lds
deleted file mode 100644
index f7ce96ad1324b5c0759a75b67e67ae3e8cfd5408..0000000000000000000000000000000000000000
--- a/src/plat/am335x/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xf0000000;
-PHYS_BASE = 0x80000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/apq8064/linker.lds b/src/plat/apq8064/linker.lds
deleted file mode 100644
index ba046abe72ce115fba771a944718f087e1c8d10e..0000000000000000000000000000000000000000
--- a/src/plat/apq8064/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xe0000000;
-PHYS_BASE = 0x80000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/bcm2837/linker.lds b/src/plat/bcm2837/linker.lds
deleted file mode 100644
index 19565ca26ede2fadca769cbdd8cf934f3c42bc64..0000000000000000000000000000000000000000
--- a/src/plat/bcm2837/linker.lds
+++ /dev/null
@@ -1,92 +0,0 @@
-/*
- * Copyright 2017, Data61
- * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
- * ABN 41 687 119 230.
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(DATA61_GPL)
- */
-
-#include <config.h>
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-PHYS_BASE = 0x01000000;
-#if defined(CONFIG_ARCH_AARCH32)
-KERNEL_BASE = 0xe0000000;
-#elif defined(CONFIG_ARCH_AARCH64)
-KERNEL_BASE = 0xffffff8000000000;
-#endif
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/exynos4/linker.lds b/src/plat/exynos4/linker.lds
deleted file mode 100644
index 8a7f37f7b79dd9131b2583dd267bec47de74e9cd..0000000000000000000000000000000000000000
--- a/src/plat/exynos4/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xe0000000;
-PHYS_BASE = 0x40000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/exynos5/linker.lds b/src/plat/exynos5/linker.lds
deleted file mode 100644
index 9de5352f74bbbaa20138241747c6c13a4fde2ec0..0000000000000000000000000000000000000000
--- a/src/plat/exynos5/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xe0000000;
-PHYS_BASE = 0x60000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/hikey/linker.lds b/src/plat/hikey/linker.lds
deleted file mode 100755
index bf6655fdd1da2941ee727d9bdc3aaaa2f74b2ac6..0000000000000000000000000000000000000000
--- a/src/plat/hikey/linker.lds
+++ /dev/null
@@ -1,91 +0,0 @@
-/*
- * Copyright 2015, DornerWorks, Ltd.
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-#include <config.h>
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-#if defined(CONFIG_ARCH_AARCH32)
-PHYS_BASE = 0x20000000;
-KERNEL_BASE = 0xe0000000;
-#elif defined(CONFIG_ARCH_AARCH64)
-PHYS_BASE = 0x20000000;
-KERNEL_BASE = 0xffffff8000000000;
-#endif
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/imx31/linker.lds b/src/plat/imx31/linker.lds
deleted file mode 100644
index f7ce96ad1324b5c0759a75b67e67ae3e8cfd5408..0000000000000000000000000000000000000000
--- a/src/plat/imx31/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xf0000000;
-PHYS_BASE = 0x80000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/imx6/linker.lds b/src/plat/imx6/linker.lds
deleted file mode 100644
index 836ca3c6a015ff82960b0f3b8bc061f31b037476..0000000000000000000000000000000000000000
--- a/src/plat/imx6/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xe0000000;
-PHYS_BASE = 0x10000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/imx7/linker.lds b/src/plat/imx7/linker.lds
deleted file mode 100644
index e48d56355ea0cc969a1188042ba4e9ce372697b4..0000000000000000000000000000000000000000
--- a/src/plat/imx7/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xe0000000;
-PHYS_BASE = 0x80000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/omap3/linker.lds b/src/plat/omap3/linker.lds
deleted file mode 100644
index f7ce96ad1324b5c0759a75b67e67ae3e8cfd5408..0000000000000000000000000000000000000000
--- a/src/plat/omap3/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xf0000000;
-PHYS_BASE = 0x80000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/tk1/linker.lds b/src/plat/tk1/linker.lds
deleted file mode 100644
index 70b7d82318ca8f6ba911438af28437d3b38c6a0a..0000000000000000000000000000000000000000
--- a/src/plat/tk1/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2016, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xe0000000;
-PHYS_BASE = 0x80000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/tx1/linker.lds b/src/plat/tx1/linker.lds
deleted file mode 100644
index bc166010edb5bbc4b71e088b00b66f07139fcc02..0000000000000000000000000000000000000000
--- a/src/plat/tx1/linker.lds
+++ /dev/null
@@ -1,93 +0,0 @@
-/*
- * Copyright 2017, Data61
- * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
- * ABN 41 687 119 230.
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(DATA61_GPL)
- */
-
-#include <config.h>
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-PHYS_BASE = 0x80000000;
-#ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
-KERNEL_BASE = 0x0000ff8080000000;
-#else
-KERNEL_BASE = 0xffffff8000000000;
-#endif
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
-
diff --git a/src/plat/tx2/linker.lds b/src/plat/tx2/linker.lds
deleted file mode 100644
index 73d8d519c4b8e59c51dc2266cf28028805e4f747..0000000000000000000000000000000000000000
--- a/src/plat/tx2/linker.lds
+++ /dev/null
@@ -1,93 +0,0 @@
-/*
- * Copyright 2018, Data61
- * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
- * ABN 41 687 119 230.
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(DATA61_GPL)
- */
-
-#include <config.h>
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-PHYS_BASE = 0x81000000;
-#ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
-KERNEL_BASE = 0x0000ff8080000000;
-#else
-KERNEL_BASE = 0xffffff8000000000;
-#endif
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
-
diff --git a/src/plat/zynq7000/linker.lds b/src/plat/zynq7000/linker.lds
deleted file mode 100644
index 5694967868f7e5e2cf3d3f6a5ac20211ac7053fb..0000000000000000000000000000000000000000
--- a/src/plat/zynq7000/linker.lds
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_GPL)
- */
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-KERNEL_BASE = 0xe0000000;
-PHYS_BASE = 0x00000000;
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}
diff --git a/src/plat/zynqmp/linker.lds b/src/plat/zynqmp/linker.lds
deleted file mode 100755
index 4ea57ad09ffc3f6e0a819a96437cf75aa0f83bda..0000000000000000000000000000000000000000
--- a/src/plat/zynqmp/linker.lds
+++ /dev/null
@@ -1,98 +0,0 @@
-/*
- * Copyright 2017, DornerWorks
- * Copyright 2014, General Dynamics C4 Systems
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(GD_DORNERWORKS_GPL)
- */
-/*
- * This data was produced by DornerWorks, Ltd. of Grand Rapids, MI, USA under
- * a DARPA SBIR, Contract Number D16PC00107.
- *
- * Approved for Public Release, Distribution Unlimited.
- */
-
-#include <config.h>
-
-ENTRY(_start)
-
-/* WARNING: constants also defined in plat/machine/hardware.h */
-#if defined(CONFIG_ARCH_AARCH32)
-PHYS_BASE = 0x00000000;
-KERNEL_BASE = 0xe0000000;
-#elif defined(CONFIG_ARCH_AARCH64)
-PHYS_BASE = 0x00000000;
-KERNEL_BASE = 0xffffff8000000000;
-#endif
-KERNEL_OFFSET = KERNEL_BASE - PHYS_BASE;
-
-SECTIONS
-{
- . = KERNEL_BASE;
-
- .boot . : AT(ADDR(.boot) - KERNEL_OFFSET)
- {
- *(.boot.text)
- *(.boot.rodata)
- *(.boot.data)
- . = ALIGN(64K);
- }
-
- ki_boot_end = .;
-
- .text . : AT(ADDR(.text) - KERNEL_OFFSET)
- {
- /* Sit inside a large frame */
- . = ALIGN(64K);
- *(.vectors)
-
- /* Fastpath code */
- *(.vectors.fastpath_call)
- *(.vectors.fastpath_reply_recv)
- *(.vectors.text)
-
- /* Anything else that should be in the vectors page. */
- *(.vectors.*)
-
- /* Hopefully all that fits into 4K! */
-
- /* Standard kernel */
- *(.text)
- }
-
- .rodata . : AT(ADDR(.rodata) - KERNEL_OFFSET)
- {
- *(.rodata)
- *(.rodata.*)
- }
-
- .data . : AT(ADDR(.data) - KERNEL_OFFSET)
- {
- *(.data)
- }
-
- .bss . : AT(ADDR(.bss) - KERNEL_OFFSET)
- {
- *(.bss)
-
- /* 4k breakpoint stack */
- _breakpoint_stack_bottom = .;
- . = . + 4K;
- _breakpoint_stack_top = .;
-
- /* large data such as the globals frame and global PD */
- *(.bss.aligned)
- }
-
- . = ALIGN(4K);
- ki_end = .;
-
- /DISCARD/ :
- {
- *(.note.gnu.build-id)
- *(.comment)
- }
-}