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.