Introduce RECLAIM_INIT_CODE build flag
This patch introduces a build flag "RECLAIM_INIT_CODE" to mark boot time
code which allows platforms to place this memory in an appropriate
section to be reclaimed later. This features is primarily targeted for
BL31. Appropriate documentation updates are also done.

Change-Id: If0ca062851614805d769c332c771083d46599194
Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>
1 parent 1a4b46d commit 1dcc28cfbac5dae3992ad9581f9ea68f6cb339c1
@Daniel Boulby Daniel Boulby authored on 18 Sep 2018
Antonio Nino Diaz committed on 3 Oct 2018
Showing 4 changed files
View
Makefile
View
docs/firmware-design.rst
View
include/lib/libc/cdefs.h
View
make_helpers/defaults.mk