Enable sel4-panicking crate to work with more rustc versions#101
Merged
nspin merged 1 commit intoseL4:mainfrom nspin:pr/panicking-compatibilityFeb 29, 2024
+44-1
sel4-panicking crate to work with more rustc versions#101