Achin Gupta 7421b4653d Add runtime services framework ... This patch introduces the framework to enable registration and initialisation of runtime services. PSCI is registered and initialised as a runtime service. Handling of runtime service requests will be implemented in subsequent patches. Change-Id: Id21e7ddc5a33d42b7d6e455b41155fc5441a9547		2014-02-17 18:51:44 +00:00
..
aarch64	psci: Use context library for preserving EL3 state	2014-02-17 18:51:44 +00:00
stdlib	Add Firmware Image Package creation tool	2014-02-17 18:51:43 +00:00
asm_macros.S	Update year in copyright text to 2014	2014-01-17 10:27:53 +00:00
bakery_lock.h	Update year in copyright text to 2014	2014-01-17 10:27:53 +00:00
bl1.h	Update year in copyright text to 2014	2014-01-17 10:27:53 +00:00
bl2.h	Add Firmware Image Package (FIP) driver	2014-02-17 18:51:44 +00:00
bl31.h	Update year in copyright text to 2014	2014-01-17 10:27:53 +00:00
bl_common.h	Update year in copyright text to 2014	2014-01-17 10:27:53 +00:00
context.h	Add helper library for cpu context management	2014-02-17 18:51:44 +00:00
context_mgmt.h	Add context management library	2014-02-17 18:51:44 +00:00
debug.h	Probe for GICv3 re-distributors on core bring-up	2014-01-17 10:27:53 +00:00
firmware_image_package.h	Add Firmware Image Package creation tool	2014-02-17 18:51:43 +00:00
io_storage.h	Add Firmware Image Package (FIP) driver	2014-02-17 18:51:44 +00:00
mmio.h	Probe for GICv3 re-distributors on core bring-up	2014-01-17 10:27:53 +00:00
pm.h	Update year in copyright text to 2014	2014-01-17 10:27:53 +00:00
psci.h	Add runtime services framework	2014-02-17 18:51:44 +00:00
runtime_svc.h	Add runtime services framework	2014-02-17 18:51:44 +00:00
semihosting.h	Implement load_image in terms of IO abstraction	2014-02-17 18:51:43 +00:00
spinlock.h	Update year in copyright text to 2014	2014-01-17 10:27:53 +00:00