Linked by WJMoore on Tue 1st Nov 2016 00:01 UTC
OSNews, Generic OSes

Redox, a Unix-like operating system written in Rust, recently rewrote its kernel:

Since August 13, the kernel is going through a complete rewrite, which makes the kernel space ultra-small (about the size of L4). Everything which can run outside the kernel in practice, will do so.

It is almost complete and will likely be merged in the coming week.

The reasons cited for the rewrite include memory management, concurrent design, SMP support, and 64-bit by default.

Permalink for comment 636485
To read all comments associated with this story, please click here.
RE[7]: Not magic after all
by james_gnz on Thu 3rd Nov 2016 10:41 UTC in reply to "RE[6]: Not magic after all"
Member since:

I like being able to write high level, compile-time checked code like this:
And have it compile down to code like this:

The Rust compiler uses LLVM for the backend, so it gets some optimisations (although apparently not as much as Clang, because LLVM better understands how Clang does things). Of course, that also means compilation isn't fully self-hosted, although I think focussing on the frontend is a pragmatic use of effort.
Anyway, maybe it'll turn out to be a fad, but I wouldn't write it off just yet. It seems like Mozilla is pretty serious about getting it into Firefox.

Reply Parent Score: 1