It helps in fault containment which helps availability primarily. Without IOMMU, they still can wreak havoc. So, drivers shown to be safe is still beneficial. I&#x27;ve so far seen that done with Ada&#x2F;SPARK,   w&#x2F; static analysis, Java w&#x2F; driver partly in JVM, and most recently ATS language. Rust would make a nice experiment.