davidcunado-arm d6104f5ab4 Merge pull request #927 from jeenu-arm/state-switch ... Execution state switch		2017-05-11 16:04:52 +01:00
..
aarch64	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
bl31.ld.S	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
bl31.mk	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
bl31_context_mgmt.c	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
bl31_main.c	Merge pull request #927 from jeenu-arm/state-switch	2017-05-11 16:04:52 +01:00
interrupt_mgmt.c	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00