040000 tree b2dfba008ec00390a3f7af2a27c36190b6f5b63e	include
100644 blob 643889647b3f5d2799c16a99064c0edfd5b92564	ipi.c
040000 tree ada1acc515293f10f0c4698baf595ddec0f71d7a	ipi_mailbox_service
100644 blob de9cf4d0166f18f16ea54a28ddbc66d2a9a2274f	plat_startup.c
040000 tree 339f1dafdb3b422c0ad9ea96b958c9cff8212f65	pm_service