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.
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.
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.
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.