danh-arm e4d3c51ddd Merge pull request #460 from sandrine-bailleux/sb/init-vttbrel2-vmid ... Initialize VTTBR_EL2 when bypassing EL2		2015-12-09 15:16:08 +00:00
..
aarch64	Fix issue in Floating point register restore	2015-12-09 10:37:53 +00:00
bl31.ld.S	Fix relocation of __PERCPU_BAKERY_LOCK_SIZE__	2015-09-25 16:35:10 +01:00
bl31.mk	Remove the IMF_READ_INTERRUPT_ID build option	2015-11-26 17:07:32 +00:00
bl31_main.c	Introduce print_entry_point_info() function	2015-11-02 09:23:05 +00:00
context_mgmt.c	Initialize VTTBR_EL2 when bypassing EL2	2015-12-09 11:34:10 +00:00
cpu_data_array.c	Rework the crash reporting in BL3-1 to use less stack	2014-07-28 11:03:20 +01:00
interrupt_mgmt.c	Enable support for EL3 interrupt in IMF	2015-12-09 09:58:17 +00:00
runtime_svc.c	Enable type-checking of arguments passed to printf() et al.	2015-03-06 13:07:43 +00:00