Re:Robigalia: seL4 and Rust
by Scramblejams on Tuesday January 19, 2016 @10:46AM
(#10931446)
Not just that, but I worry about IOMMU bugs. A safe driver would help mitigate those.
[ Parent
| on HN ]
Re:Robigalia: seL4 and Rust
by nickpsecurity on Thursday January 28, 2016 @08:12PM
(#10992805)
Good point. Few think about that. Hardware will periodically fail, especially on deep-submicron processes.