News for hackers. Stuff that matters.
Re:Writing an OS in Rust: Introduction to Paging by bluejekyll on Monday January 14, 2019 @10:26AM (#18903631)
Have you looked at TockOS? https://www.tockos.org

I took a class in it about 2 years ago now, it was really cool. I’m not an embedded developer though, so not sure of your needs here.

Re:Writing an OS in Rust: Introduction to Paging by vardump on Monday January 14, 2019 @10:39AM (#18903742)
Ooh that looks pretty interesting!

Tock appears to be a Rust based embedded OS, so relevant to this discussion.

https://github.com/tock/tock