Fix for rebase issue

Signed-off-by: Ivan-Velickovic <[email protected]>

Author: Ivan-Velickovic

tool/microkit/src/sdf.rs

@@ -20,6 +20,7 @@ use crate::sel4::{Config, IrqTrigger, PageSize};
 use crate::util::str_to_bool;
 use crate::MAX_PDS;
 use std::path::{Path, PathBuf};
+use std::collections::HashMap;
 
 /// Events that come through entry points (e.g notified or protected) are given an
 /// identifier that is used as the badge at runtime.