News for hackers. Stuff that matters.

A comment on Robigalia: seL4 and Rust. Parent comment

Re:Robigalia: seL4 and Rust by kibwen on Wednesday January 06, 2016 @06:12PM (#10854671)
Rust has long been capable of running without a runtime (that's how all OS development in Rust is expected to operate) and formal verification of the language spec is ongoing (though full verification is still probably years out, and who knows if the compiler will ever be formally verified).
[ Parent | on HN ]
Re:Robigalia: seL4 and Rust by nickpsecurity on Wednesday January 06, 2016 @10:06PM (#10855707)
Hell yeah! Appreciate the updates. My idea there was a runtime or overhead came from an early OS attempt in Rust where they couldnt get past real mode. Had to use non-Rust code for that and it was using too much space IIRC. They've gotten past those obstacles now?
[ Parent | on HN ]
Re:Robigalia: seL4 and Rust by steveklabnik on Wednesday January 06, 2016 @10:40PM (#10855815)
You need about 100 lines of assembly to get to a Rust kmain in long mode.

Rust has effectively no runtime these days. Same amount as C or C++, basically.

[ Parent | on HN ]
Re:Robigalia: seL4 and Rust by nickpsecurity on Wednesday January 06, 2016 @11:02PM (#10855890)
That's great to hear. Thanks for chiming in with the good info as always.
[ Parent | on HN ]
Re:Robigalia: seL4 and Rust by steveklabnik on Wednesday January 06, 2016 @11:32PM (#10856000)
Any time. If you're interested in what exactly that code is, check out Phil's blog, linked upthread.
[ Parent | on HN ]
Re:Robigalia: seL4 and Rust by nickpsecurity on Thursday January 07, 2016 @01:08AM (#10856297)
I'm guessing you mean this:

http://os.phil-opp.com/entering-longmode.html

Interesting stuff and seems like a good description of the code. Bookmarking it in case I do more in this area.

[ Parent | on HN ]