Re:Robigalia: seL4 and Rust
by wmf on Wednesday January 06, 2016 @05:50PM
(#10854517)
Yeah, Graphene on seL4 might be a more practical path for running legacy apps. http://graphene.cs.stonybrook.edu/
[ Parent
| on HN ]
Re:Robigalia: seL4 and Rust
by nickpsecurity on Wednesday January 06, 2016 @05:56PM
(#10854562)
That's interesting. Ill have to look at it on desktop. Seems backwards so far though: says it's implemented on top of Linux. My model has a stripped Linux running in user or guest mode on top of a microkernel. See OKLinux, L4Linux, Nizza Security Architecture, or LynxSecure's Linux for examples. Then you just need middleware which becomes a source file or library for your apps.