feat(manifest): check interrupt IDs are unique
Add a checks to prevent two endpoints from declaring the same
interrupt ID resource for a device peripheral.
Also add macros used to access the bitmask that tracks
interrupts.
Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>
Change-Id: I5074e8d4209588a6c8f62ee06e0eb05b20cac387
diff --git a/src/init.c b/src/init.c
index 170c716..0a5e643 100644
--- a/src/init.c
+++ b/src/init.c
@@ -167,6 +167,9 @@
panic("Unable to load VMs.");
}
+ /* Now manifest parsing has completed free the resourses used. */
+ manifest_deinit(&ppool);
+
if (!boot_flow_update(mm_stage1_locked, &manifest, &update, &cpio,
&ppool)) {
panic("Unable to update boot flow.");