News for hackers. Stuff that matters.

A comment on Robigalia: seL4 and Rust. Parent comment

Re:Robigalia: seL4 and Rust by mwcampbell on Wednesday January 06, 2016 @05:37PM (#10854417)
Then add NetBSD drivers as rump kernels to get it running on real hardware. True, drivers in Rust would be even better, but IIUC, the whole point of using a microkernel is that the drivers would be running in user space with restricted privileges.
[ Parent | on HN ]
Re:Robigalia: seL4 and Rust by nickpsecurity on Wednesday January 06, 2016 @05:50PM (#10854513)
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've so far seen that done with Ada/SPARK, w/ static analysis, Java w/ driver partly in JVM, and most recently ATS language. Rust would make a nice experiment.
[ Parent | on HN ]
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.
[ Parent | on HN ]