Ian Spray 8468739c5f Move GIC setup to a separate file ... GIC setup code which used to be in bl31_plat_setup.c is now in fvp_gic.c to simplify future changes to other bootloader stages. This patch moves code from bl31_plat_setup.c to fvp_gic.c, simplifies the include file list for bl31_plat_setup.c, moves GIC declarations from the bl31.h header file into the platform.h, and reworks files according to coding style guide. Change-Id: I48d82a4ba33e7114dcc88f9ca98767a06cf8f417		2014-01-17 10:27:52 +00:00
..
aarch64	Make BL31's ns_entry_info a single-cpu area	2013-12-12 16:06:48 +00:00
bl31.ld.S	Enable third party contributions	2013-12-05 11:34:09 +00:00
bl31.mk	Move GIC setup to a separate file	2014-01-17 10:27:52 +00:00
bl31_main.c	Make BL31's ns_entry_info a single-cpu area	2013-12-12 16:06:48 +00:00